diff options
Diffstat (limited to 'www')
| -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 c7fbdbbb..9e973d85 100755 --- a/www/publish.sh +++ b/www/publish.sh @@ -20,7 +20,7 @@ if [[ ${FILE} != "docs*" ]] ; then fi # 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") |