diff --git a/Shake.hs b/Shake.hs
index d9f62a602..ba3dee342 100755
--- a/Shake.hs
+++ b/Shake.hs
@@ -498,8 +498,10 @@ main = do
         -- But cmd Shell doesn't handle arguments containing spaces properly.
         liftIO $ writeFile out $ unlines [
            "<!-- " ++ "Generated by \"Shake webmanuals\" from " ++ unwords deps ++ " -->"
-          ,""
-          , "<!-- toc -->"
+          ,"<div class=\"docversions\"></div>"
+          ,"<div class=\"pagetoc\">"
+          ,"<!-- toc -->"
+          ,"</div>"
           ,""
           ,"# " ++ heading
           ,""