diff options
author | Karl Berry <karl@freefriends.org> | 2018-07-21 20:18:51 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-07-21 20:18:51 +0000 |
commit | 1a1e93f3750fe1754389dcb837bb345276138bd5 (patch) | |
tree | 3e3dfddfa16ea3caea90d6dfaa4c3e50f5426bf0 /Master/texmf-dist/doc/latex/getmap/makefile | |
parent | ba9a8dd21333c7b07db12038f9c897cbebdc797e (diff) |
getmap (21jul18)
git-svn-id: svn://tug.org/texlive/trunk@48243 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/getmap/makefile')
-rw-r--r-- | Master/texmf-dist/doc/latex/getmap/makefile | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Master/texmf-dist/doc/latex/getmap/makefile b/Master/texmf-dist/doc/latex/getmap/makefile index 2509fefc5d3..dffa6411ac2 100644 --- a/Master/texmf-dist/doc/latex/getmap/makefile +++ b/Master/texmf-dist/doc/latex/getmap/makefile @@ -12,14 +12,14 @@ $(PKGNAME).pdf: bibtex $(PKGNAME) makeindex -s gind.ist $(PKGNAME) makeindex -s gglo.ist $(PKGNAME).glo -o $(PKGNAME).gls - pdflatex $(PKGNAME).dtx + pdflatex -shell-escape $(PKGNAME).dtx bibtex $(PKGNAME) makeindex -s gind.ist $(PKGNAME) makeindex -s gglo.ist $(PKGNAME).glo -o $(PKGNAME).gls - pdflatex $(PKGNAME).dtx + pdflatex -shell-escape $(PKGNAME).dtx makeindex -s gind.ist $(PKGNAME) makeindex -s gglo.ist $(PKGNAME).glo -o $(PKGNAME).gls - pdflatex $(PKGNAME).dtx + pdflatex -shell-escape $(PKGNAME).dtx package: pdftex $(PKGNAME).dtx @@ -57,7 +57,7 @@ git: package cp getmap.cfg ./../dev/tex/latex/getmap/getmap.cfg cp README.md ./../README.md -ctan: +ctan: $(PKGNAME).pdf ./copyCTAN clean: @@ -67,6 +67,6 @@ clean: cleanall: clean $(RM) getmapdl.lua *.sty *.png *.jpg manifest.txt \ - *.cfg *.tex README.md getmap.pdf + *.cfg *.tex README.md *.pdf .PHONY: all doc package install uninstall styles git ctan clean cleanall |