diff options
Diffstat (limited to 'make_html')
| -rwxr-xr-x | make_html | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -14,8 +14,6 @@ pandoc \ --mathml \ --lua-filter article-dates.lua \ --template template.html \ - --toc \ - --toc-depth 1 \ -t chunkedhtml \ --split-level 1 \ --chunk-template "%i.html" \ @@ -23,7 +21,5 @@ pandoc \ "$MARKDOWN_IN" unzip -o "$OUTPUT_DIR/site.zip" -d /var/www/html/ -# Remove in-page hash fragments from TOC links on the landing page so links open at page top -sed -E -i 's/(href="[^"#]+\.html)#[^"]+"/\1"/g' /var/www/html/index.html || true cp -r vr_assets /var/www/html/ cp -r images /var/www/html/ |
