diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.defines')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/pdftex.defines | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.defines b/Build/source/texk/web2c/pdftexdir/pdftex.defines index f490d3795af..766a80e65fe 100644 --- a/Build/source/texk/web2c/pdftexdir/pdftex.defines +++ b/Build/source/texk/web2c/pdftexdir/pdftex.defines @@ -64,6 +64,7 @@ with this program. If not, see <http://www.gnu.org/licenses/>. @define procedure printcreationdate; @define procedure printmoddate; @define procedure printID(); +@define procedure printIDalt(); @define procedure setjobid(); @define procedure unescapehex(); @define procedure writestreamlength(); |