summaryrefslogtreecommitdiff
path: root/texmf-dist/doc/generic/harftex/Makefile
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-05-30 11:46:25 +0900
committerNorbert Preining <norbert@preining.info>2019-05-30 11:46:25 +0900
commit116e75910dd7de0682f578cae0194588286f5079 (patch)
tree19cc108cdc264f90273b85480c06b8fbaa2e5687 /texmf-dist/doc/generic/harftex/Makefile
parentbed92c2e7b43679063fc2053728bb4a35b3b3b3d (diff)
add harftex
Diffstat (limited to 'texmf-dist/doc/generic/harftex/Makefile')
-rw-r--r--texmf-dist/doc/generic/harftex/Makefile13
1 files changed, 13 insertions, 0 deletions
diff --git a/texmf-dist/doc/generic/harftex/Makefile b/texmf-dist/doc/generic/harftex/Makefile
new file mode 100644
index 00000000..8d568b2f
--- /dev/null
+++ b/texmf-dist/doc/generic/harftex/Makefile
@@ -0,0 +1,13 @@
+SHELL := /bin/bash
+
+.PHONY: test.pdf test-latex.pdf
+
+all: test.pdf test-latex.pdf
+
+test.pdf: test.tex
+ time harftex $<
+ mutool clean -a -d $@ $@
+
+test-latex.pdf: test-latex.tex
+ time harflatex $<
+ mutool clean -a -d $@ $@