diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/ptexlib.h')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/ptexlib.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/ptexlib.h b/Build/source/texk/web2c/pdftexdir/ptexlib.h index c4581b5fa20..70ab7d9911e 100644 --- a/Build/source/texk/web2c/pdftexdir/ptexlib.h +++ b/Build/source/texk/web2c/pdftexdir/ptexlib.h @@ -213,6 +213,7 @@ extern void make_subset_tag(fd_entry *); extern void setjobid(int, int, int, int); extern void writestreamlength(longinteger, longinteger); extern void printID(strnumber); +extern void printIDalt(strnumber); extern void printcreationdate(void); extern void printmoddate(void); extern void escapename(poolpointer in); |