*** 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*