diff options
| author | Karl Berry <karl@freefriends.org> | 2014-10-11 22:25:53 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2014-10-11 22:25:53 +0000 |
| commit | 7460fe5721352e7d7284aee891cb12cd57450d3d (patch) | |
| tree | 5421d36f0e9701daf9a9a0242425826a87e2a53c /Master/texmf-dist/doc/latex/getmap/makefile | |
| parent | 52f4e192a9cea1e7081afa67be2acb0995b7ee45 (diff) | |
getmap (11oct14)
git-svn-id: svn://tug.org/texlive/trunk@35355 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 | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/texmf-dist/doc/latex/getmap/makefile b/Master/texmf-dist/doc/latex/getmap/makefile index 322429c3e0d..f5ed1fe3e88 100644 --- a/Master/texmf-dist/doc/latex/getmap/makefile +++ b/Master/texmf-dist/doc/latex/getmap/makefile @@ -5,7 +5,7 @@ PKGNAME = getmap all: doc -doc: $(PKGNAME).pdf package +doc: package $(PKGNAME).pdf $(PKGNAME).pdf: pdflatex -shell-escape $(PKGNAME).dtx @@ -17,6 +17,9 @@ $(PKGNAME).pdf: makeindex -s gind.ist $(PKGNAME) makeindex -s gglo.ist $(PKGNAME).glo -o $(PKGNAME).gls pdflatex $(PKGNAME).dtx + makeindex -s gind.ist $(PKGNAME) + makeindex -s gglo.ist $(PKGNAME).glo -o $(PKGNAME).gls + pdflatex $(PKGNAME).dtx package: pdftex $(PKGNAME).dtx |