comments on logfiles

2018-05-02 15:14:52 +02:00
parent 4247368298
commit 7b27411e2a
17 changed files with 233 additions and 109 deletions
--- a/plain/Makefile
+++ b/plain/Makefile
@ -0,0 +1,12 @@
+include ../m4/mkfile.mk
+
+
+%.html : %.m4
+	m4 ../m4/macros.m4 $< > $@
+
+
+logfile.html:    logfile.m4
+
+.PHONY: cleanplain
+cleanplain:
+	-rm -f logfile.html