diff options
Diffstat (limited to 'Build/source/texk/web2c/texmfmp.h')
-rw-r--r-- | Build/source/texk/web2c/texmfmp.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/texmfmp.h b/Build/source/texk/web2c/texmfmp.h index 422fc5d4421..5f210ebbc6c 100644 --- a/Build/source/texk/web2c/texmfmp.h +++ b/Build/source/texk/web2c/texmfmp.h @@ -121,6 +121,7 @@ extern char *makecfilename(integer s); extern void getcreationdate(void); extern void getfilemoddate(integer s); extern void getfilesize(integer s); +extern void getfiledump(integer s, int offset, int length); #endif /* pdftex etc. except for tex use these for pipe support */ |