summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/texextra.c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/texextra.c')
-rw-r--r--Build/source/texk/web2c/texextra.c11
1 files changed, 11 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/texextra.c b/Build/source/texk/web2c/texextra.c
new file mode 100644
index 00000000000..45d02951f60
--- /dev/null
+++ b/Build/source/texk/web2c/texextra.c
@@ -0,0 +1,11 @@
+/* texextra.c: Hand-coded routines for TeX.
+
+ This file is public domain. */
+
+#define EXTERN /* Instantiate data from texd.h here. */
+
+/* This file defines TeX. */
+#include <texd.h>
+
+/* Hand-coded routines for TeX or Metafont in C. */
+#include <lib/texmfmp.c>