diff options
author | Prefetch | 2023-07-09 15:02:11 +0200 |
---|---|---|
committer | Prefetch | 2023-07-09 15:02:11 +0200 |
commit | 0bdd36f6f953d281bd69c60626bdc5d67d53ab07 (patch) | |
tree | 1877badaf5d51b2422ba5df718da9812fc33e503 | |
parent | f5105dc7b183fd540006fb4f21039d8b2d126621 (diff) |
-rw-r--r-- | Makefile | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 6fd2934..0000000 --- a/Makefile +++ /dev/null @@ -1,13 +0,0 @@ -FINDARGS= \( -name "*.html" -o -name "*.xml" -o -name "*.css" -o -name "*.js" \) - -all: - hugo - for f in `find public/ -type f $(FINDARGS)`; do \ - echo "Compressing $$f..." ; \ - gzip --keep --force -9 $$f ; \ - brotli --keep --force -Z $$f ; \ - done - @echo "###########################################" - @echo "### If you (re)moved files, remember to ###" - @echo "#### delete them manually from public/ ####" - @echo "###########################################" |