diff options
author | Peter Ludikovsky <peter@ludikovsky.name> | 2016-02-16 12:31:52 +0000 |
---|---|---|
committer | Peter Ludikovsky <peter@ludikovsky.name> | 2016-02-16 12:31:52 +0000 |
commit | c22b44d0b05c8524b09f64d5c96c123863a09216 (patch) | |
tree | 67b9ec374e27020f3d28a90632a85085f2ff703e | |
parent | 37539e6ff6fc44f2c21cbfae691ce52ff0509639 (diff) |
Fixed regenerating articles
-rw-r--r-- | html-gen.sh | 2 |
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 |