Re: Version 1.75-1 ignoring --no-lines flag

[Paul Eggert]

> From: Akim Demaille <address@hidden>
> Date: 06 Nov 2002 12:58:34 +0100
> 
> For my own education, could tell me why you'd need this option?

RMS might be a good person to ask about this, since he introduced
%no_lines when Bison 1.25 came out in 1996.

I often need to strip out #line directives from C preprocessors like
Bison, because I can't make heads or tails of what the _real_ problem
is unless I can see the line number in the source code that was
actually fed to the C compiler.  I don't feel the need for --no-lines
myself, since I can easily remove the #line directives with 'sed', but
perhaps this is inconvenient for some environments.