diff options
Diffstat (limited to 'html-gen.sh')
| -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 2a48c2b..56f96fb 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 |