On Fri, Jun 03, 2011 at 09:28:34AM -0600, Tom Tromey wrote: > > I think makeinfo should give an error on this.
This should be fixed in the Parser. -- Pat
On Fri, Jun 03, 2011 at 09:28:34AM -0600, Tom Tromey wrote: > > I think makeinfo should give an error on this.
This should be fixed in the Parser. -- Pat