diff options
| author | yum <yum.food.vr@gmail.com> | 2025-09-24 19:08:57 -0700 |
|---|---|---|
| committer | yum <yum.food.vr@gmail.com> | 2025-09-24 19:09:21 -0700 |
| commit | 8f766c72d6612ffefa156c55730d817ca42e850a (patch) | |
| tree | 6b0b7c2449121c27a9f0885b883c9f748f4e31b0 /make_html | |
| parent | 339ab04212a1aed4d3ac158810f69a90b176c7b1 (diff) | |
beep boop
Diffstat (limited to 'make_html')
| -rwxr-xr-x | make_html | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -14,6 +14,7 @@ pandoc \ --mathml \ --template template.html \ --toc \ + --toc-depth 1 \ -t chunkedhtml \ --split-level 1 \ --chunk-template "%i.html" \ @@ -21,6 +22,8 @@ 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 gzip -k -9 -f js/*.js gzip -k -9 -f js/*.css cp -r js /var/www/html/ |