summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/pdftex/manual/Makefile
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2023-02-26 21:56:36 +0000
committerKarl Berry <karl@freefriends.org>2023-02-26 21:56:36 +0000
commita836aa89aaff61055928dbf4ba0ea3ef8f15bc51 (patch)
treec596163059357f93ad260db853fd3955219d87f1 /Master/texmf-dist/doc/pdftex/manual/Makefile
parent5f54db29da979f05965d02659e3f6530b5c8c228 (diff)
general doc update for engines/etc.
git-svn-id: svn://tug.org/texlive/trunk@66203 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 adbb1c7c95a..481b8567b99 100644
--- a/Master/texmf-dist/doc/pdftex/manual/Makefile
+++ b/Master/texmf-dist/doc/pdftex/manual/Makefile
@@ -1,4 +1,4 @@
-# $Id: Makefile 875 2022-03-01 02:08:10Z karl $
+# $Id: Makefile 879 2022-04-26 16:19:17Z karl $
# Makefile for pdfTeX documentation. Public domain.
# Get version we're documenting from the \def in the manual.
@@ -60,6 +60,7 @@ pdftex-w.txt: pdftex-w.pdf
pdftex_binary = ../../source/build-pdftex/texk/web2c/pdftex
pdftex-w.pdf: pdftex-w.tex Makefile
TEXFONTS=/usr/local/texlive/dev/texmf-dist/fonts// \
+ KPATHSEA_WARNING=0 \
$(pdftex_binary) -ini '$<'
@@ -68,7 +69,7 @@ pdftex-help.txt: force
$(pdftex_binary) --help >$@ || rm -f $@
force:
-# if we don't have a build tree around, just try from the path.
+# if we don't have a build tree around, try from PATH.
build_binary := ../../source/build-pdftex/texk/web2c/pdftex
ifneq "$(realpath $(build_binary))" ""
pdftex_binary := $(build_binary)