bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: --no-headers bug?


From: Stephen Gildea
Subject: Re: --no-headers bug?
Date: Thu, 07 Aug 2003 15:35:48 -0400

>   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.

 < Stephen




reply via email to

[Prev in Thread] Current Thread [Next in Thread]