diff options
author | Karl Berry <karl@freefriends.org> | 2023-02-26 21:56:36 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2023-02-26 21:56:36 +0000 |
commit | a836aa89aaff61055928dbf4ba0ea3ef8f15bc51 (patch) | |
tree | c596163059357f93ad260db853fd3955219d87f1 /Master/texmf-dist/doc/pdftex/manual/Makefile | |
parent | 5f54db29da979f05965d02659e3f6530b5c8c228 (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/Makefile | 5 |
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) |