From 8c890f845b88ed975d0f2ba32ca4ec90e12ec588 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Wed, 28 Jul 2021 22:20:49 -1000
Subject: [PATCH] ;shake: webmanuals: move page toc below h1 again

To avoid extra toc items.
Also added a class permitting manual-specific styling.
---
 Shake.hs | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/Shake.hs b/Shake.hs
index fb76088f0..fc6e34517 100755
--- a/Shake.hs
+++ b/Shake.hs
@@ -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 "|"