From c1de8266ebfea1caa4ed8b96ec5fe9e713d631b1 Mon Sep 17 00:00:00 2001
From: Florian Obser <florian@narrans.de>
Date: Sat, 3 Dec 2022 17:25:53 +0100
Subject: [PATCH] Makefile and post-receive hook for deploying.

---
 Makefile                | 18 ++++++++++++++++++
 gitea-post-receive-hook |  8 ++++++++
 2 files changed, 26 insertions(+)
 create mode 100644 Makefile
 create mode 100755 gitea-post-receive-hook

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..edb269b
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,18 @@
+FILES != ls *.html *.css
+
+.PHONEY: all fetch publish
+
+.SUFFIXES: .html .html.gz .css .css.gz
+.html.html.gz:
+	gzip -9fk $<
+
+.css.css.gz:
+	gzip -9fk $<
+
+all: fetch publish ${FILES:=.gz}
+
+fetch:
+	git pull
+
+publish:
+	./publish.el
diff --git a/gitea-post-receive-hook b/gitea-post-receive-hook
new file mode 100755
index 0000000..27da9fc
--- /dev/null
+++ b/gitea-post-receive-hook
@@ -0,0 +1,8 @@
+#!/bin/ksh
+
+for v in $(typeset +x | egrep -v '(PATH|PWD|SHELL)'); do
+	unset $v
+done
+
+cd /var/www/htdocs
+make