From 9ae2381d49aaff705fe5966de399f41fc7521798 Mon Sep 17 00:00:00 2001 From: yum Date: Tue, 28 Jul 2026 14:34:36 -0700 Subject: Add dates to home page --- make_html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'make_html') diff --git a/make_html b/make_html index ec4d16d..f36d616 100755 --- a/make_html +++ b/make_html @@ -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/ - -- cgit v1.2.3