summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPrefetch2023-07-09 15:02:11 +0200
committerPrefetch2023-07-09 15:02:11 +0200
commit0bdd36f6f953d281bd69c60626bdc5d67d53ab07 (patch)
tree1877badaf5d51b2422ba5df718da9812fc33e503
parentf5105dc7b183fd540006fb4f21039d8b2d126621 (diff)
Remove Makefile before publishing (this site was built on-server)HEADmaster
-rw-r--r--Makefile13
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 "###########################################"