diff options
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/ptexextra.h')
-rw-r--r-- | Build/source/texk/web2c/ptexdir/ptexextra.h | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/Build/source/texk/web2c/ptexdir/ptexextra.h b/Build/source/texk/web2c/ptexdir/ptexextra.h deleted file mode 100644 index 9dd5be78e24..00000000000 --- a/Build/source/texk/web2c/ptexdir/ptexextra.h +++ /dev/null @@ -1,24 +0,0 @@ -/* ptexextra.h: banner etc. for pTeX. - - This is included by pTeX, from ptexextra.c -*/ - -#include <ptexdir/ptex_version.h> /* for PTEX_VERSION */ - -#define BANNER "This is pTeX, Version 3.141592653-" PTEX_VERSION -#define COPYRIGHT_HOLDER "D.E. Knuth" -#define AUTHOR NULL -#define PROGRAM_HELP PTEXHELP -#define BUG_ADDRESS "issue@texjp.org" -#define DUMP_VAR TEXformatdefault -#define DUMP_LENGTH_VAR formatdefaultlength -#define DUMP_OPTION "fmt" -#define DUMP_EXT ".fmt" -#define INPUT_FORMAT kpse_tex_format -#define INI_PROGRAM "iniptex" -#define VIR_PROGRAM "virptex" - -#ifdef Xchr -#undef Xchr -#define Xchr(x) (x) -#endif /* Xchr */ |