1 files changed, 9 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/otps/win32/mkofm.c b/Build/source/texk/web2c/otps/win32/mkofm.c
new file mode 100644
index 00000000000..71aeee9d1b2
--- /dev/null
+++ b/Build/source/texk/web2c/otps/win32/mkofm.c
@@ -0,0 +1,9 @@
+/* currently script mkofm only calls mktextfm */
+#include <stdio.h>
+#include <string.h>
+#include <process.h>
+int main(int argc, char *argv[])
+{
+  strcpy(argv[0], "mkofm");
+  return spawnvp(P_WAIT, "mktextfm.exe", (const char* const*)argv);
+}