blob: d90e1ea75aff8777f22a9f24074820999c2d786c (
plain) (
tree)
|
|
--- Makefile.in.orig Fri Jun 8 12:23:56 2001
+++ Makefile.in Sat Sep 1 18:57:21 2001
@@ -143,7 +143,7 @@
MAKEINFO = `if [ -f $$r/texinfo/makeinfo/Makefile ] ; \
then echo $$r/texinfo/makeinfo/makeinfo ; \
- else echo makeinfo ; fi`
+ else echo makeinfo --no-split ; fi`
# This just becomes part of the MAKEINFO definition passed down to
# sub-makes. It lets flags be given on the command line while still
|