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