diff options
author | Norbert Preining <norbert@preining.info> | 2019-05-30 11:46:25 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-05-30 11:46:25 +0900 |
commit | 116e75910dd7de0682f578cae0194588286f5079 (patch) | |
tree | 19cc108cdc264f90273b85480c06b8fbaa2e5687 /texmf-dist/doc/generic/harftex/Makefile | |
parent | bed92c2e7b43679063fc2053728bb4a35b3b3b3d (diff) |
add harftex
Diffstat (limited to 'texmf-dist/doc/generic/harftex/Makefile')
-rw-r--r-- | texmf-dist/doc/generic/harftex/Makefile | 13 |
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 $@ $@ |