diff options
Diffstat (limited to 'www/publish.sh')
| -rwxr-xr-x | www/publish.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/www/publish.sh b/www/publish.sh index 606c1fc9..f9aabf3e 100755 --- a/www/publish.sh +++ b/www/publish.sh @@ -57,6 +57,10 @@ fi sed temp.md -i -e 's/\.md\(#[a-z\-]*\)*)/.html\1)/g' sed temp.md -i -e 's/\.md\(#[a-z\-]*\)*]/.html\1]/g' +# change out .md -> .html +sed temp.md -i -e 's/\.md\(#[a-z\-]*\)*)/.html\1)/g' +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-depth=2") || TOC="" |