12 lines
339 B
Plaintext
12 lines
339 B
Plaintext
--- 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 \
|