diff --git a/man/ChangeLog b/man/ChangeLog index 1a667de4fee..af7f6113beb 100644 --- a/man/ChangeLog +++ b/man/ChangeLog @@ -1,3 +1,7 @@ +2000-12-20 Eli Zaretskii + + * Makefile.in (../info/idlwave): Use --no-split. + 2000-12-14 Dave Love * Makefile.in (mostlyclean): Remove gnustmp.* diff --git a/man/Makefile.in b/man/Makefile.in index e02aa8eaff8..f0f62d5a7ac 100644 --- 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