diff options
Diffstat (limited to 'make_html')
| -rwxr-xr-x | make_html | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -12,6 +12,7 @@ mkdir "$OUTPUT_DIR" pandoc \ --mathml \ + --lua-filter article-dates.lua \ --template template.html \ --toc \ --toc-depth 1 \ @@ -26,4 +27,3 @@ unzip -o "$OUTPUT_DIR/site.zip" -d /var/www/html/ 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/ - |
