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, 0 insertions, 13 deletions
diff --git a/Master/texmf-dist/doc/ptex/ptex-manual/Makefile b/Master/texmf-dist/doc/ptex/ptex-manual/Makefile deleted file mode 100644 index 1bc580ccfb7..00000000000 --- a/Master/texmf-dist/doc/ptex/ptex-manual/Makefile +++ /dev/null @@ -1,13 +0,0 @@ -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 |