[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
FYI: makeinfo --plaintext
From: |
Ralf Wildenhues |
Subject: |
FYI: makeinfo --plaintext |
Date: |
Mon, 5 Sep 2005 08:16:49 +0200 |
User-agent: |
Mutt/1.4.1i |
Hi Peter,
* Peter O'Gorman wrote on Mon, Sep 05, 2005 at 01:14:29AM CEST:
> Is there any reason to use --plaintext, it causes bootstrap to fail with
> texinfo 4.6 (well, actually bootstrap succeeds, but the make command used
> during bootstrap fails, bootstrap doees not notice). --no-headers appears
> to produce identical output and works with 4.6.
Thanks for reporting this. I've applied the patch below to HEAD.
bootstrap should notify failure (but IMHO not stop because of this --
hate to waste those hours just because texinfo was too old), I'll look
into that eventually.
Cheers,
Ralf
* Makefile.am (doc/notes.txt): Use --no-headers instead of
--plaintext for makeinfo.
Reported by Peter O'Gorman <address@hidden>.
Index: Makefile.am
===================================================================
RCS file: /cvsroot/libtool/libtool/Makefile.am,v
retrieving revision 1.159
diff -u -r1.159 Makefile.am
--- Makefile.am 29 Aug 2005 14:37:56 -0000 1.159
+++ Makefile.am 5 Sep 2005 06:15:18 -0000
@@ -357,7 +357,7 @@
$(srcdir)/doc/notes.txt: $(srcdir)/doc/notes.texi
cd $(srcdir)/doc && \
- $(MAKEINFO) --plaintext $(MAKEINFOFLAGS) -o notes.txt notes.texi
+ $(MAKEINFO) --no-headers $(MAKEINFOFLAGS) -o notes.txt notes.texi
## ------------- ##