From 16f8ed3d0fdd90a8b0d8a1aef20a8d6ca89d5fd3 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Fri, 19 Mar 2021 08:21:28 -0700
Subject: [PATCH] shake webmanuals: include the TOC comment

---
 Shake.hs | 2 ++
 1 file changed, 2 insertions(+)

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