From 0bdd36f6f953d281bd69c60626bdc5d67d53ab07 Mon Sep 17 00:00:00 2001
From: Prefetch
Date: Sun, 9 Jul 2023 15:02:11 +0200
Subject: Remove Makefile before publishing (this site was built on-server)

---
 Makefile | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 Makefile

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 "###########################################"
-- 
cgit v1.2.3