[Top][All Lists]
[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