Crash in Texinfo 4.0 HTML formatter

[Bonzini]

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.

A file that exhibits this behavior (in section `Shell expansions') is
the pre-release reference manual for Bash, which you can find in
ftp://alpha.gnu.org/gnu.

Paolo Bonzini