diff options
Diffstat (limited to 'Build/source/texk/web2c/Makefile.in')
| -rw-r--r-- | Build/source/texk/web2c/Makefile.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/Makefile.in b/Build/source/texk/web2c/Makefile.in index db4e9a22173..4d7c8156eae 100644 --- a/Build/source/texk/web2c/Makefile.in +++ b/Build/source/texk/web2c/Makefile.in @@ -14881,6 +14881,12 @@ $(srcdir)/pdftexdir/etex_version.h: @MAINTAINER_MODE_TRUE@ pdftexdir/pdftex.web # Generate pdftex.ch pdftex.ch: tie$(EXEEXT) $(pdftex_ch_srcs) $(tie_c) $(pdftex_ch_srcs) + +# Convenience target for making the typeset output; not invoked automatically +pdftex.pdf: pdftex.tex + env MKTEXFMT=0 pdftex '\nonstopmode\input pdftex.tex' +pdftex.tex: $(srcdir)/pdftexdir/pdftex.web + weave $(srcdir)/pdftexdir/pdftex.web pdftexdir/wprob.log pdftexdir/pdftex.log pdftexdir/pdfimage.log: pdftex$(EXEEXT) pdftexdir/ttf2afm.log: ttf2afm$(EXEEXT) |