diff options
Diffstat (limited to 'bin/update_html')
| -rwxr-xr-x | bin/update_html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/bin/update_html b/bin/update_html index 8ba13778a..587ed6179 100755 --- a/bin/update_html +++ b/bin/update_html @@ -93,18 +93,18 @@ function render_md_html { html="$2" relroot="$( dirname $md | sed -E 's/^.\///' | sed -E 's/[^/]+/../g' )" - # Look for `toc: true` in metadata (first ten lines of file) - if head -n 10 "$md" | grep --quiet 'toc: true' ; then - toc='--table-of-contents' + # Look for `show-toc: true` in metadata (first ten lines of file) + if head -n 10 "$md" | grep --quiet 'show-toc: true' ; then + tocflag='--table-of-contents' else - toc='' + tocflag='' fi pandoc \ --from=markdown \ --to=html5 \ --standalone \ - $toc \ + $tocflag \ --template="$template" \ --variable="lang:en" \ --variable="rel-root:$relroot" \ |