diff options
author | Karl Berry <karl@freefriends.org> | 2021-02-25 19:22:25 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-02-25 19:22:25 +0000 |
commit | ad547a6b5986815fda458221149728d9d9ab1d87 (patch) | |
tree | 16296910eb3eca724371474ea9aea3994dc69614 /Build/source/texk/web2c/mfluadir/mfluaextra.h | |
parent | 947b43de3dd21d58ccc2ffadefc4441ea1c2a813 (diff) |
restore Build,TODO from r57911
git-svn-id: svn://tug.org/texlive/trunk@57915 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/mfluadir/mfluaextra.h')
-rw-r--r-- | Build/source/texk/web2c/mfluadir/mfluaextra.h | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/mfluadir/mfluaextra.h b/Build/source/texk/web2c/mfluadir/mfluaextra.h new file mode 100644 index 00000000000..636c01d5d2f --- /dev/null +++ b/Build/source/texk/web2c/mfluadir/mfluaextra.h @@ -0,0 +1,25 @@ +/* mfluaextra.h: banner etc. for MFLua. + + This is included by MFLua, from mfluaextra.c +*/ + +#include <mfluadir/mflua_version.h> /* for MFLUA_VERSION and BANNER */ + +/*#define BANNER "This is MFLua, Version 2.71828182-" MFLUA_VERSION*/ +#define COPYRIGHT_HOLDER "L. Scarso" +#define AUTHOR NULL +#define PROGRAM_HELP MFLUAHELP +#define BUG_ADDRESS "luigi.scarso@gmail.com" +#define DUMP_VAR MFbasedefault +#define DUMP_LENGTH_VAR basedefaultlength +#define DUMP_OPTION "base" +#ifdef DOS +#define DUMP_EXT ".bas" +#else +#define DUMP_EXT ".base" +#endif +#define INPUT_FORMAT kpse_mf_format +#define INI_PROGRAM "inimflua" +#define VIR_PROGRAM "virmflua" +#define MFLua + |