diff options
| author | Karl Berry <karl@freefriends.org> | 2018-09-04 21:12:50 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2018-09-04 21:12:50 +0000 |
| commit | b3571583a30d61c5d29cee022d11b5f3a801eef2 (patch) | |
| tree | a7685c61d747c2f6e9775f40d63e7f0453a384b8 /Master/texmf-dist/doc/ptex/ptex-manual/Makefile | |
| parent | 35a9ca73f13ae06f707401c60906a1ce537aafc3 (diff) | |
ptex-manual (4sep18)
git-svn-id: svn://tug.org/texlive/trunk@48575 c570f23f-e606-0410-a88d-b1316a301751
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 |