(../info/idlwave): Use --no-split.

diff --git a/man/ChangeLog b/man/ChangeLog
index 1a667de4feec616ffbd7c9f0fee34534f4f4c30b..af7f6113beb1b77fe51c25c1033b68ab5a1f7515 100644 (file)
--- a/man/ChangeLog
+++ b/man/ChangeLog
@@ -1,3 +1,7 @@
+2000-12-20  Eli Zaretskii  <eliz@is.elta.co.il>
+
+       * Makefile.in (../info/idlwave): Use --no-split.
+
 2000-12-14  Dave Love  <fx@gnu.org>
 
        * Makefile.in (mostlyclean): Remove gnustmp.*

diff --git a/man/Makefile.in b/man/Makefile.in
index e02aa8eaff8131605da8745ddc3ae5c0dd5f53f2..f0f62d5a7ac70c7ad557c3509212ec5c6df80941 100644 (file)
--- a/man/Makefile.in
+++ b/man/Makefile.in
@@ -194,8 +194,10 @@ faq.dvi: faq.texi
 autotype.dvi: autotype.texi
        $(ENVADD) $(TEXI2DVI) ${srcdir}/autotype.texi
 
+# This is produced with --no-split to avoid making files whose
+# names clash on DOS 8+3 filesystems
 ../info/idlwave: idlwave.texi
-       cd $(srcdir); $(MAKEINFO) idlwave.texi
+       cd $(srcdir); $(MAKEINFO) --no-split idlwave.texi
 idlwave.dvi: idlwave.texi
        $(ENVADD) $(TEXI2DVI) ${srcdir}/idlwave.texi