shake webmanuals: include the TOC comment

This commit is contained in:
Simon Michael 2021-03-19 08:21:28 -07:00
parent 7fad876014
commit 16f8ed3d0f

View File

@ -499,6 +499,8 @@ main = do
liftIO $ writeFile out $ unlines [ liftIO $ writeFile out $ unlines [
"<!-- " ++ "Generated by \"Shake webmanuals\" from " ++ unwords deps ++ " -->" "<!-- " ++ "Generated by \"Shake webmanuals\" from " ++ unwords deps ++ " -->"
,"" ,""
, "<!-- toc -->"
,""
,"# " ++ heading ,"# " ++ heading
,"" ,""
] ]