changeset 34739:c38270499602

(../info/idlwave): Use --no-split.
author Eli Zaretskii <eliz@gnu.org>
date Wed, 20 Dec 2000 14:13:06 +0000
parents 47f583b0deb6
children dcaa1969ddf8
files man/Makefile.in
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/man/Makefile.in	Wed Dec 20 14:10:20 2000 +0000
+++ b/man/Makefile.in	Wed Dec 20 14:13:06 2000 +0000
@@ -194,8 +194,10 @@
 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