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