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, 24 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ptexdir/ptexextra.h b/Build/source/texk/web2c/ptexdir/ptexextra.h new file mode 100644 index 00000000000..b39c1b0c852 --- /dev/null +++ b/Build/source/texk/web2c/ptexdir/ptexextra.h @@ -0,0 +1,24 @@ +/* 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.1415926-" PTEX_VERSION +#define COPYRIGHT_HOLDER "D.E. Knuth" +#define AUTHOR NULL +#define PROGRAM_HELP PTEXHELP +#define BUG_ADDRESS "ptex-staff@ml.asciimw.jp" +#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 */ |