shake: fix page TOC rendering (with mdbook-toc 0.8+ ?)

This commit is contained in:
Simon Michael 2022-06-20 13:00:02 +01:00
parent a31fcdcde3
commit e9292dc3fb

View File

@ -546,6 +546,7 @@ main = do
,"# " ++ heading ,"# " ++ heading
,"" ,""
,"<div class=\"pagetoc manual\">" ,"<div class=\"pagetoc manual\">"
,""
,"<!-- toc -->" ,"<!-- toc -->"
,"</div>" ,"</div>"
,"" ,""
@ -780,6 +781,7 @@ main = do
,"# " ++ heading ,"# " ++ heading
,"" ,""
,"<div class=\"pagetoc\">" ,"<div class=\"pagetoc\">"
,""
,"<!-- toc -->" ,"<!-- toc -->"
,"</div>" ,"</div>"
,"" ,""