diff options
| author | Taylan Kammer <taylan.kammer@gmail.com> | 2026-06-03 00:06:36 +0200 |
|---|---|---|
| committer | Taylan Kammer <taylan.kammer@gmail.com> | 2026-06-03 00:06:36 +0200 |
| commit | c734c0d1e32748b1bac89c93d3e598b908a2224e (patch) | |
| tree | 82154931beb91006a120df5b027fb77798d44cac /update-html.sh | |
| parent | dca76cd7955573cc537933c7beb93d2d9ee2b1d2 (diff) | |
Improve DOC TOC situation.
Diffstat (limited to 'update-html.sh')
| -rwxr-xr-x | update-html.sh | 9 |
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" |