Remove a warn

This commit is contained in:
Yann Esposito (Yogsototh) 2020-10-29 19:08:17 +01:00
parent 32da0b640d
commit 3f60937599
Signed by untrusted user who does not match committer: yogsototh
GPG Key ID: 7B19A4C650D59646
1 changed files with 1 additions and 0 deletions

View File

@ -242,6 +242,7 @@ postamble now bp =
, "@@html:</footer>@@"
]
tpltxt :: Text
tpltxt = T.unlines [
"$if(toc)$"
, "<nav id=\"$idprefix$TOC\" role=\"doc-toc\">"