Re: gcc.texi closing preformatted_command tex wrong

[Patrice Dumas]

On Thu, Apr 12, 2012 at 01:29:39AM +0200, Patrice Dumas wrote:
> On Sat, Apr 07, 2012 at 03:18:58PM -0700, Karl Berry wrote:
> > Hi Patrice,
> > 
> > I mention this because of the "BUG" lines -- although clearly they are
> > abusing @tex here, presumably the BUG output should not happen.  Also,
> 
> Indeed, this is a bug.  And not trivial to fix.  It happens in a portion
> of the code that is rather messy, I'd try to clean it up while solving 
> the bug, so it could take some time.  

In the end I didn't clean the code, only simplified marginally...

Anyway this should be fixed.

> > if you can easily include the Texinfo source file and line number in BUG
> > lines, seems like that could only help.  It was obvious (I think) in
> > this case, but might not always be ...

There are better bug messages now.

-- 
Pat