summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pdftexdir/pdftex.defines
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.defines')
-rw-r--r--Build/source/texk/web2c/pdftexdir/pdftex.defines1
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();