diff --git a/src/doc/head b/src/doc/head index c45d09234..c64d9a8a0 100644 --- a/src/doc/head +++ b/src/doc/head @@ -26,9 +26,11 @@