diff options
Diffstat (limited to 'www/publish.sh')
| -rwxr-xr-x | www/publish.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/www/publish.sh b/www/publish.sh index 671163f6..c8838f17 100755 --- a/www/publish.sh +++ b/www/publish.sh @@ -19,7 +19,7 @@ echo "[License](license.md)" >> temp.md sed temp.md -i -e 's/\.md\(#[a-z\-]*\)*)/.html\1)/g' # work around issue #2872 -TOC=$(grep -q "^x-toc-enable: true$" temp.md && echo "--toc") +TOC=$(grep -q "^x-toc-enable: true$" temp.md && echo "--toc --toc-depth=2") # work around heterogenous pandoc versions SMART=$(pandoc -v | grep -q '2\.0' || echo "--smart") |