1 files changed, 7 insertions, 2 deletions
diff --git a/update-html.sh b/update-html.sh
index 065a0cf..0c37ffd 100755
--- a/update-html.sh
+++ b/update-html.sh
@@ -8,7 +8,7 @@ then
     exit 1
 fi
 
-md2ext=fenced-code-blocks,highlightjs-lang,tables,toc
+md2ext=fenced-code-blocks,highlightjs-lang,tables
 
 md2ht() {
     src=$1
@@ -26,10 +26,15 @@ md2ht() {
     else
         nav='<a href=".">^ Up</a>'
     fi
+    ext=$md2ext
+    if grep -q -- '<!--TOC-->' "$src"
+    then
+        ext=$ext,toc
+    fi
     {
         sed "s/__TITLE__/$title/" html/prelude.html
         echo "<body>"
-        sed "1 a $nav" < "$src" | markdown2 -x "$md2ext"
+        sed "1 a $nav" < "$src" | markdown2 -x "$ext"
         echo "</body>"
         echo "</html>"
     } > "$dst"