blob: 72099145a3dc8bbc5b9bf2572a78539d939f5919 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- Makefile.in.orig Mon Jun 23 11:25:50 1997
+++ Makefile.in Fri Sep 19 18:19:19 1997
@@ -196,7 +196,7 @@
.texi.info:
@cd $(srcdir) && rm -f $@ $@-[0-9] $@-[0-9][0-9]
cd $(srcdir) \
- && $(MAKEINFO) `echo $< | sed 's,.*/,,'`
+ && $(MAKEINFO) --no-split `echo $< | sed 's,.*/,,'`
.texi.dvi:
TEXINPUTS=$(srcdir):$$TEXINPUTS \
|
