diff --git a/src/doc/head b/src/doc/head index c64d9a8a0..7d5aa50bd 100644 --- a/src/doc/head +++ b/src/doc/head @@ -29,6 +29,7 @@