--- doc/Makefile.in.orig Fri Jul 2 09:24:54 1999 +++ doc/Makefile.in Tue Aug 31 23:41:57 1999 @@ -70,7 +70,7 @@ LIBTOOL = @LIBTOOL@ LIBTOOL_FLAGS = @LIBTOOL_FLAGS@ LN_S = @LN_S@ -MAKEINFO = @MAKEINFO@ +MAKEINFO = @MAKEINFO@ --no-split NM = @NM@ OBJDUMP = @OBJDUMP@ PACKAGE = @PACKAGE@