;shake webmanuals: update toc/versions placeholders

This commit is contained in:
Simon Michael 2021-03-21 09:01:33 -07:00
parent d5a227f18c
commit 076da7dd18

View File

@ -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
,""