summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/pdftex/manual/Makefile
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2016-05-04 23:10:15 +0000
committerKarl Berry <karl@freefriends.org>2016-05-04 23:10:15 +0000
commite5ac7d8301efd127740e0ebfde020aae9c9563c0 (patch)
treedf767cacac937f540ded9149064797ca9a31a28f /Master/texmf-dist/doc/pdftex/manual/Makefile
parent6e6b00930df3ed6b7e295b3b0ed3ef024686a9de (diff)
import SOURCE_DATE_EPOCH_TEX_PRIMITIVES support from pdftex r751, per tex-k thread, http://tug.org/pipermail/tex-k/2016-May/002691.html
git-svn-id: svn://tug.org/texlive/trunk@40889 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/pdftex/manual/Makefile')
-rw-r--r--Master/texmf-dist/doc/pdftex/manual/Makefile5
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/pdftex/manual/Makefile b/Master/texmf-dist/doc/pdftex/manual/Makefile
index 001768d614b..102d82ff576 100644
--- a/Master/texmf-dist/doc/pdftex/manual/Makefile
+++ b/Master/texmf-dist/doc/pdftex/manual/Makefile
@@ -1,4 +1,4 @@
-# $Id: Makefile 745 2016-04-25 18:06:57Z karl $
+# $Id: Makefile 751 2016-05-04 22:57:38Z karl $
# Makefile for pdfTeX documentation. Public domain.
# Get version we're documenting from the \def in the manual.
@@ -58,8 +58,9 @@ pdftex-w.pdf: pdftex-w.tex
# Too annoying to remake help text every time; check by hand when needed.
-pdftex-help.txt:
+pdftex-help.txt: force
$(pdftex_binary) --help >$@ || rm -f $@
+force:
# if we don't have a build tree around, just try from the path.
build_binary := ../../source/build-pdftex/texk/web2c/pdftex