diff --git a/Shake.hs b/Shake.hs
index 85ae9c5ad..d9f62a602 100755
--- a/Shake.hs
+++ b/Shake.hs
@@ -499,6 +499,8 @@ main = do
         liftIO $ writeFile out $ unlines [
            "<!-- " ++ "Generated by \"Shake webmanuals\" from " ++ unwords deps ++ " -->"
           ,""
+          , "<!-- toc -->"
+          ,""
           ,"# " ++ heading
           ,""
           ]