diff options
Diffstat (limited to 'Build/source/extra/djgpp/cfgdvidv.pat')
| -rw-r--r-- | Build/source/extra/djgpp/cfgdvidv.pat | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/Build/source/extra/djgpp/cfgdvidv.pat b/Build/source/extra/djgpp/cfgdvidv.pat deleted file mode 100644 index e03cbf55b43..00000000000 --- a/Build/source/extra/djgpp/cfgdvidv.pat +++ /dev/null @@ -1,19 +0,0 @@ -*** dvidvi/configure.orig Tue Mar 17 12:51:54 1998 ---- dvidvi/configure Thu Mar 19 17:55:50 1998 -*************** -*** 2273,2279 **** - 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* - ---- 2273,2279 ---- - 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* - |