chiark / gitweb /
build system
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 20 Sep 2023 17:42:24 +0000 (18:42 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 20 Sep 2023 17:42:24 +0000 (18:42 +0100)
Makefile [new file with mode: 0644]

diff --git a/Makefile b/Makefile
new file mode 100644 (file)
index 0000000..935eec9
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,13 @@
+
+i= mv .tmp.$@ $@
+
+CHARACTERS=kennocht fabricia
+
+all:   $(addsuffix .pdf, $(CHARACTERS)) \
+       $(addsuffix .ps, $(CHARACTERS)) \
+
+%.pdf:         %.md
+       pandoc -Vmargin-{left,right}=1.5cm -t latex -o .tmp.$@ $< && $i
+
+%.ps:          %.pdf
+       pdftops $< .tmp.$@ && $i