summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/pdftex/manual/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/pdftex/manual/Makefile')
-rw-r--r--Master/texmf-dist/doc/pdftex/manual/Makefile13
1 files changed, 8 insertions, 5 deletions
diff --git a/Master/texmf-dist/doc/pdftex/manual/Makefile b/Master/texmf-dist/doc/pdftex/manual/Makefile
index d6589ac1c04..7c1e369adaa 100644
--- a/Master/texmf-dist/doc/pdftex/manual/Makefile
+++ b/Master/texmf-dist/doc/pdftex/manual/Makefile
@@ -1,4 +1,4 @@
-# $Id: Makefile 767 2017-02-18 23:49:54Z karl $
+# $Id: Makefile 822 2020-03-02 16:57:37Z karl $
# Makefile for pdfTeX documentation. Public domain.
# Get version we're documenting from the \def in the manual.
@@ -14,7 +14,7 @@ default: pdftex-a.pdf pdftex-syntax.txt
# the other formats (everything that can be built).
all: pdftex-l.pdf pdftex-s.pdf booklet
-common_deps = pdftex-t.tex pdftex-w.txt pdftex-help.txt pdftex-syntax.tex
+common_deps = pdftex-t.tex pdftex-w.txt pdftex-syntax.tex # pdftex-help.txt
pdftex-a.pdf a: $(common_deps)
$(context) --mode=a4 --result=$@ $<
@@ -53,8 +53,10 @@ pdftex-w.txt: pdftex-w.pdf
wc -l pdftex-w.txt # set titlepagelines=half of this
# PDF for the title page.
-pdftex-w.pdf: pdftex-w.tex
- pdftex $<
+pdftex_binary = ../../source/build-pdftex/texk/web2c/pdftex
+pdftex-w.pdf: pdftex-w.tex Makefile
+ TEXFONTS=/usr/local/texlive/dev/texmf-dist/fonts// \
+ $(pdftex_binary) -ini '\nonstopmode\input $<'
# Too annoying to remake help text every time; check by hand when needed.
@@ -81,7 +83,8 @@ pdftex-syntax.txt: pdftex-t.tex pdftex-syntax.tex syntaxform.awk
# Install from this source directory to TL.
-tltree = /home/texlive/karl/Master/texmf-dist
+# svn co svn://u:pw@tug.org/texlive/trunk/Master/texmf-dist/doc/pdftex
+tltree = /r/tug/home/texlive/karl/Master/texmf-dist
dest = $(tltree)/doc/pdftex/manual
INSTALL_DATA = cp -p