diff options
author | Karl Berry <karl@freefriends.org> | 2019-01-05 22:40:38 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-01-05 22:40:38 +0000 |
commit | 22536bb2b5257046d271b1eaa11b4a275d5ec041 (patch) | |
tree | 2500eaf5c26b11e00ebd33a64fccfa332cd5a66c /Master/texmf-dist/doc/generic/pgf/version-for-vtex/en/Makefile | |
parent | cf794f0e2db6857972a9d48d4466a4f03a7057a0 (diff) |
pgf (5jan19)
git-svn-id: svn://tug.org/texlive/trunk@49607 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/generic/pgf/version-for-vtex/en/Makefile')
-rw-r--r-- | Master/texmf-dist/doc/generic/pgf/version-for-vtex/en/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/texmf-dist/doc/generic/pgf/version-for-vtex/en/Makefile b/Master/texmf-dist/doc/generic/pgf/version-for-vtex/en/Makefile index ca3fce8d28f..1c3bb46633b 100644 --- a/Master/texmf-dist/doc/generic/pgf/version-for-vtex/en/Makefile +++ b/Master/texmf-dist/doc/generic/pgf/version-for-vtex/en/Makefile @@ -11,10 +11,13 @@ pgfmanual.idx: pgfmanual.ind: pgfmanual.idx makeindex $(doc).idx -pgfmanual.ps: $(doc).tex $(doc).ind +pgfmanual.ps: $(doc).tex $(doc).ind revisionfile TEXINPUTS="$(TEXINPUTS)" $(latex) $(doc).tex (egrep -q $(rerun) $(doc).log && TEXINPUTS="$(TEXINPUTS)" $(latex) $(doc).tex) || true +revisionfile: + cd ../../../../.. && ./scripts/pgf/pgfrevisionfile.sh + clean: rm -f \ plots/* \ |