summaryrefslogtreecommitdiff
path: root/html-gen.sh
diff options
context:
space:
mode:
authorPeter Ludikovsky <peter@ludikovsky.name>2016-02-16 12:31:52 +0000
committerPeter Ludikovsky <peter@ludikovsky.name>2016-02-16 12:31:52 +0000
commitc22b44d0b05c8524b09f64d5c96c123863a09216 (patch)
tree67b9ec374e27020f3d28a90632a85085f2ff703e /html-gen.sh
parent37539e6ff6fc44f2c21cbfae691ce52ff0509639 (diff)
Fixed regenerating articles
Diffstat (limited to 'html-gen.sh')
-rw-r--r--html-gen.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/html-gen.sh b/html-gen.sh
index 443719d..938a140 100644
--- a/html-gen.sh
+++ b/html-gen.sh
@@ -308,6 +308,7 @@ regenerate_previous_and_next_article_maybe() {
echo -n "[fugitive] Regenerating $public_dir/$1.html"
echo -n " (as previous article) from $articles_dir/$1... "
generate_article "$articles_dir/$1"
+ gzip -9kfn "$public_dir/$1.html"
echo "done."
echo "$1" >> "$generated_files"
fi
@@ -316,6 +317,7 @@ regenerate_previous_and_next_article_maybe() {
echo -n "[fugitive] Regenerating $public_dir/$2.html"
echo -n " (as next article) from $articles_dir/$2... "
generate_article "$articles_dir/$2"
+ gzip -9kfn "$public_dir/$2.html"
echo "done."
echo "$2" >> "$generated_files"
fi