phlog

commit ed2cbe85618f37115ddc2f5489ca20b818b104f1
parent 6593e1a7c658d5633f5ef4af868269c2f98189ca
Author: Charlie Stanton <charlie@shtanton.xyz>
Date:   Thu,  9 Sep 2021 17:38:53 +0100

Adds a header to all the gemini files

Diffstat:
M
Makefile
 | 
4
+++-

1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
@@ -37,7 +37,9 @@ html/index.html: html_src/index.html
 	cp $^ $@
 
 gemini/posts/%.gmi: posts/%.gmi
-	cp $^ $@
+	awk -F :: "/^$*::/{print \"# \"\$$2}" posts-config > $@
+	echo "" >> $@
+	tee < $^ >> $@
 
 gemini/posts/index.gmi: gemini_src/posts/index.sh posts-config
 	$^ > $@