diff options
Diffstat (limited to 'www')
| -rwxr-xr-x | www/publish.sh | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/www/publish.sh b/www/publish.sh index eb8df8c6..d2924a48 100755 --- a/www/publish.sh +++ b/www/publish.sh @@ -56,12 +56,7 @@ if [[ $FILE != "./docs/fdl-1.3" && $FILE != "docs/fdl-1.3" && fi # change out .md -> .html -sed -i -e 's/\.md\(#[a-zA-Z0-9_-]*\)\?)/.html\1)/g' "$TMPFILE" -sed -i -e 's/\.md\(#[a-zA-Z0-9_-]*\)\?]/.html\1]/g' "$TMPFILE" - -# change out .md -> .html -sed -i -e 's/\.md\(#[a-zA-Z0-9_-]*\)\?)/.html\1)/g' "$TMPFILE" -sed -i -e 's/\.md\(#[a-zA-Z0-9_-]*\)\?]/.html\1]/g' "$TMPFILE" +sed -i -e 's/\.md\(#[a-zA-Z0-9_-]*\)\?\([])]*\)/.html\1\2/g' "$TMPFILE" # work around issue #2872 TOC=$(grep -q "^x-toc-enable: true$" "$TMPFILE" && printf '%s\n' "--toc --toc-depth=2") || TOC="" |