On Sun, 28 Nov 1999, Bonzini wrote:
> Something like
>
> @node xxx, yyy, zzz, www
> @section
>
> where NOTHING follows the @section command, crashes the HTML formatter
> in Texinfo 4.0 with a SIGSEGV; no error is produced with the Info
> formatter. The problem is solved by adding something after the @section
> command.
Thanks for the report.
Unfortunately, I cannot reproduce this problem on my machine, neither
with the file bashref-3.0pre1.texi I downloaded from alpha.gnu, nor
with small test files I tried to prepare using the description you
give above.
What I see is that "makeinfo --html" produces an empty "<h2></h2>"
header for the section with a missing name. Which is what I'd
expect.
Did you use some command-line options except --html? If so, please
tell what they were. (Actually, I needed --force to prevent makeinfo
from removing the output, since the Texinfo source has some real
problems.)
In any case, please tell on what platform did you see this crash. A
backtrace from GDB using the core file would also be nice.
