From 139d7dbc15f4467201c24af834a574f19a5926b4 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sun, 27 Nov 2022 18:46:01 -0300
Subject: Build TODOs.html on "public" target

---
 Makefile | 21 +++++++++++++++++++--
 1 file changed, 19 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 51e4704..38ec1a5 100644
--- a/Makefile
+++ b/Makefile
@@ -1,13 +1,14 @@
 .POSIX:
 
 
-all:
+all: public
 
 
 check:
 
 clean:
-	rm -rf public/
+	rm -rf \
+		.sentinel/ public/
 
 dev-check: check
 
@@ -19,3 +20,19 @@ deploy:
 		src/infrastructure/guix/system.scm   \
 		toph:/etc/guix/
 	ssh toph reconfigure
+
+
+.sentinel/mkdir-public:
+	mkdir -p public .sentinel
+	touch $@
+
+public/favicon.svg: .sentinel/mkdir-public src/doc/favicon.svg
+	cp src/doc/favicon.svg $@
+
+public/style.css: .sentinel/mkdir-public
+	td -S > $@
+
+public/TODOs.html: .sentinel/mkdir-public TODOs.md
+	td -H | sh src/doc/md2html.sh -T TODOs > $@
+
+public: public/favicon.svg public/style.css public/TODOs.html
-- 
cgit v1.2.3