diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/am/pdftex.am')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/am/pdftex.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/am/pdftex.am b/Build/source/texk/web2c/pdftexdir/am/pdftex.am index 1eb82160dcc..3bd5280521a 100644 --- a/Build/source/texk/web2c/pdftexdir/am/pdftex.am +++ b/Build/source/texk/web2c/pdftexdir/am/pdftex.am @@ -1,6 +1,7 @@ +## $Id$ ## texk/web2c/pdftexdir/am/pdftex.am: Makefile fragment for pdfTeX. ## -## Copyright 2016-2019 Karl Berry <tex-live@tug.org> +## Copyright 2016-2020 Karl Berry <tex-live@tug.org> ## Copyright 2009-2015 Peter Breitenlohner <tex-live@tug.org> ## You may freely use, modify and/or distribute this file. @@ -73,6 +74,7 @@ pdftex_ch_srcs = \ enctex.ch \ $(pdftex_ch_synctex) \ pdftexdir/pdftex.ch \ + pdftexdir/char-warning-pdftex.ch \ tex-binpool.ch # Convenience target for making the typeset output; not invoked automatically |