diff options
Diffstat (limited to 'Master/texmf-dist/source')
| -rw-r--r-- | Master/texmf-dist/source/latex/ptex-manual/Makefile | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/ptex-manual/Makefile b/Master/texmf-dist/source/latex/ptex-manual/Makefile new file mode 100644 index 00000000000..741f177a313 --- /dev/null +++ b/Master/texmf-dist/source/latex/ptex-manual/Makefile @@ -0,0 +1,50 @@ +DOCTARGET = ptex-manual eptexdoc jfm +# following documents are not maintained anymore; +# even some descriptions might be different from +# current status of pTeX +# jtex_asciimw jtexdoc_asciimw +# ptexdoc_asciimw ptexskip_asciimw +# eptex_resume +PDFTARGET = $(addsuffix .pdf,$(DOCTARGET)) +DVITARGET = $(addsuffix .dvi,$(DOCTARGET)) +KANJI = -kanji=utf8 +FONTMAP = -f ipaex.map -f ptex-ipaex.map +TEXMF = $(shell kpsewhich -var-value=TEXMFHOME) + +default: $(DVITARGET) +all: $(PDFTARGET) + +ptex-manual.dvi: ptex-manual.tex + platex $(KANJI) 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 + rm -f *.aux *.log *.toc *.idx *.ind *.ilg *.out + +eptexdoc.dvi: eptexdoc.tex fam256p.tex fam256d.tex + platex $(KANJI) eptexdoc.tex + platex $(KANJI) eptexdoc.tex + mendex -U -s gind.ist eptexdoc.idx + platex $(KANJI) eptexdoc.tex + rm -f *.aux *.log *.toc *.idx *.ind *.ilg *.out + +.SUFFIXES: .tex .dvi .pdf +.tex.dvi: + platex $(KANJI) $< + platex $(KANJI) $< + platex $(KANJI) $< + rm -f *.aux *.log *.toc +.dvi.pdf: + dvipdfmx $(FONTMAP) $< + +.PHONY: install clean +install: + mkdir -p ${TEXMF}/doc/ptex/ptex-manual + cp ./LICENSE ${TEXMF}/doc/ptex/ptex-manual/ + cp ./README* ${TEXMF}/doc/ptex/ptex-manual/ + cp ./Makefile ${TEXMF}/doc/ptex/ptex-manual/ + cp ./*.tex ${TEXMF}/doc/ptex/ptex-manual/ + cp ./*.pdf ${TEXMF}/doc/ptex/ptex-manual/ +clean: + rm -f $(DVITARGET) $(PDFTARGET) |