diff options
Diffstat (limited to 'Build/source/texk/web2c/lib/lib.h')
-rw-r--r-- | Build/source/texk/web2c/lib/lib.h | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/lib/lib.h b/Build/source/texk/web2c/lib/lib.h index 156e1350d15..4c8bab85a68 100644 --- a/Build/source/texk/web2c/lib/lib.h +++ b/Build/source/texk/web2c/lib/lib.h @@ -25,11 +25,14 @@ extern integer inputint (FILE *); extern void zinput2ints (integer *, integer *); extern void zinput3ints (integer *, integer *, integer *); -/* main.c */ +/* main.c (or win32main.c or texmfmp.c) */ +#ifndef NOT_WEB2C +/* Only used in Web2C programs and possibly harmful otherwise. */ extern int argc; extern string *argv; extern string cmdline (int); extern TEXDLL void mainbody (void); /* generated by web2c */ +#endif /* openclose.c */ extern boolean open_input (FILE **, int, const_string fopen_mode); @@ -44,8 +47,13 @@ extern void recorder_record_output (const_string); /* printversion.c */ extern void printversionandexit (const_string, const_string, const_string, char*); +/* texmfmp.c (actually ../pdftexextra.c or ../luatexextra) */ +#if defined(pdfTeX) || defined(luaTeX) +extern const char *ptexbanner; +#endif + /* version.c */ -extern char *versionstring; +extern const char *versionstring; /* zround.c */ extern integer zround (double); |