From 73ec16700b64f7b81f56cbe1c4809c3f13bd3b1e Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Wed, 20 Dec 2000 14:13:48 +0000 Subject: [PATCH] (../info/idlwave): Use --no-split. --- man/ChangeLog | 4 ++++ man/Makefile.in | 4 +++- 2 files changed, 7 insertions(+), 1 deletion(-) 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 -- 2.39.2