|
From: | Derek Robert Price |
Subject: | Re: --no-headers bug? |
Date: | Thu, 07 Aug 2003 16:42:36 -0400 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 |
Stephen Gildea wrote:
Thanks for the report. I agree this should not be included in the Info output, at least I think I do :). Stephen, do you have any opinion? I know you use the plain text output.I agree that @direntry should not be output with --no-headers. It is Info encoding, just like the other stuff --no-headers suppresses. I see that @dircategory is already (correctly) ignored with --no-headers.
Okay, I think this is the fix. It correctly generates the CVS manual. Index: ChangeLog 2003-08-07 Derek Price <address@hidden> * makeinfo/insertion.c (cm_direntry): Skip @direntry in --no-headers mode. Index: makeinfo/insertion.c =================================================================== RCS file: /cvsroot/texinfo/texinfo/makeinfo/insertion.c,v retrieving revision 1.23 diff -u -r1.23 insertion.c --- makeinfo/insertion.c 16 Jul 2003 22:26:28 -0000 1.23 +++ makeinfo/insertion.c 7 Aug 2003 20:35:51 -0000 @@ -1136,7 +1136,7 @@ void cm_direntry () { - if (html || xml) + if (html || xml || no_headers) command_name_condition (); else begin_insertion (direntry); Derek -- *8^) Email: address@hidden Get CVS support at <http://ximbiot.com>! -- It's always darkest before dawn. So if you're going to steal the neighbor's newspaper, that's the time to do it.
[Prev in Thread] | Current Thread | [Next in Thread] |