;shake: webmanuals: move page toc below h1 again

To avoid extra toc items.
Also added a class permitting manual-specific styling.
This commit is contained in:
Simon Michael 2021-07-28 22:20:49 -10:00
parent 78e9f8877c
commit 8c890f845b

View File

@ -521,12 +521,13 @@ main = do
liftIO $ writeFile out $ unlines [
"<!-- " ++ "Generated by \"Shake webmanuals\" from " ++ unwords deps ++ " -->"
,"<div class=\"docversions\"></div>"
,"<div class=\"pagetoc\">"
,"<!-- toc -->"
,"</div>"
,""
,"# " ++ heading
,""
,"<div class=\"pagetoc manual\">"
,"<!-- toc -->"
,"</div>"
,""
]
cmd Shell
m4 "-DWEBFORMAT -I" dir commonm4 commandsm4 packageversionm4 packagemandatem4 src "|"