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