diff options
Diffstat (limited to 'Master/texmf-dist/doc/ptex/ptex-manual/Makefile')
| -rw-r--r-- | Master/texmf-dist/doc/ptex/ptex-manual/Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/ptex/ptex-manual/Makefile b/Master/texmf-dist/doc/ptex/ptex-manual/Makefile new file mode 100644 index 00000000000..1bc580ccfb7 --- /dev/null +++ b/Master/texmf-dist/doc/ptex/ptex-manual/Makefile @@ -0,0 +1,13 @@ +KANJI = -kanji=utf8 +FONTMAP = -f ipaex.map -f ptex-ipaex.map + +ptex-manual.pdf: ptex-manual.tex + platex $(KANJI) ptex-manual.tex +# makeindex -s gind.ist -o ptex-manual.ind ptex-manual.idx + mendex -U -s gind.ist -o ptex-manual.ind ptex-manual.idx + platex $(KANJI) ptex-manual.tex + dvipdfmx $(FONTMAP) ptex-manual + +.PHONY: clean +clean: + rm -f *.pdf |