diff options
author | Peter Ludikovsky <peter@ludikovsky.name> | 2016-02-16 12:32:12 +0000 |
---|---|---|
committer | Peter Ludikovsky <peter@ludikovsky.name> | 2016-02-16 12:32:12 +0000 |
commit | b873b4316d6f7ae9f3eb6e4037c3a54ad23a8baa (patch) | |
tree | e45f135afce94059a7d1f1d4622a95e44760d138 | |
parent | ddde688aa5c259b6272b0275c736bc84382e20f4 (diff) | |
parent | c22b44d0b05c8524b09f64d5c96c123863a09216 (diff) |
Merge branch 'compress' into sitemap
-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 |