summaryrefslogtreecommitdiff
path: root/info/ptex-manual/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'info/ptex-manual/Makefile')
-rw-r--r--info/ptex-manual/Makefile50
1 files changed, 0 insertions, 50 deletions
diff --git a/info/ptex-manual/Makefile b/info/ptex-manual/Makefile
deleted file mode 100644
index 741f177a31..0000000000
--- a/info/ptex-manual/Makefile
+++ /dev/null
@@ -1,50 +0,0 @@
-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)