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