From e9292dc3fbf8ac4c8738f8ef63099f16d3117ff7 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Mon, 20 Jun 2022 13:00:02 +0100
Subject: [PATCH] shake: fix page TOC rendering (with mdbook-toc 0.8+ ?)

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

diff --git a/Shake.hs b/Shake.hs
index c61cb302d..1527604d0 100755
--- a/Shake.hs
+++ b/Shake.hs
@@ -546,6 +546,7 @@ main = do
           ,"# " ++ heading
           ,""
           ,"<div class=\"pagetoc manual\">"
+          ,""
           ,"<!-- toc -->"
           ,"</div>"
           ,""
@@ -780,6 +781,7 @@ main = do
           ,"# " ++ heading
           ,""
           ,"<div class=\"pagetoc\">"
+          ,""
           ,"<!-- toc -->"
           ,"</div>"
           ,""