12 lines
316 B
Plaintext
12 lines
316 B
Plaintext
--- docs/Makefile.in.orig Thu Jul 5 07:29:56 2001
|
|
+++ docs/Makefile.in Wed Oct 24 09:09:39 2001
|
|
@@ -248,7 +248,7 @@
|
|
MAKEINFO='$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) -I $(srcdir)' \
|
|
$(TEXI2DVI) $<
|
|
|
|
-MAKEINFO = @MAKEINFO@
|
|
+MAKEINFO = @MAKEINFO@ --no-split
|
|
TEXI2DVI = texi2dvi
|
|
DVIPS = dvips
|
|
.dvi.ps:
|