summaryrefslogtreecommitdiff
path: root/Build/extra/djgpp/cfgtexht.pat
diff options
context:
space:
mode:
Diffstat (limited to 'Build/extra/djgpp/cfgtexht.pat')
-rw-r--r--Build/extra/djgpp/cfgtexht.pat19
1 files changed, 19 insertions, 0 deletions
diff --git a/Build/extra/djgpp/cfgtexht.pat b/Build/extra/djgpp/cfgtexht.pat
new file mode 100644
index 00000000000..570de8147a9
--- /dev/null
+++ b/Build/extra/djgpp/cfgtexht.pat
@@ -0,0 +1,19 @@
+*** tex4htk/configure.orig Tue Mar 17 12:52:20 1998
+--- tex4htk/configure Wed Sep 16 19:06:00 1998
+***************
+*** 2210,2216 ****
+ s%@srcdir@%$srcdir%g
+ s%@top_srcdir@%$top_srcdir%g
+ s%@INSTALL@%$INSTALL%g
+! " | (eval "$ac_sed_cmds") > $ac_file
+ fi; done
+ rm -f conftest.s*
+
+--- 2210,2216 ----
+ s%@srcdir@%$srcdir%g
+ s%@top_srcdir@%$top_srcdir%g
+ s%@INSTALL@%$INSTALL%g
+! " | (eval "$ac_sed_cmds") | sed -e '/^default_texsizes/s,:,;,' > $ac_file
+ fi; done
+ rm -f conftest.s*
+