diff --git a/src/doc/head b/src/doc/head index c21fcdba0..0a144fdc0 100644 --- a/src/doc/head +++ b/src/doc/head @@ -21,15 +21,14 @@