Re: gawk html documentation - h4 and h5 closes h3 tags

[Stepan Kasal]

Hello Kai,

thank you for your bug report.

On Tue, Aug 24, 2004 at 08:52:29AM +0200, Kai Andresen wrote:
> There is a tiny bug in the gawk html documentation (both single and multiple 
> file versions).
> 
> The err is that a lot of subsection (and subsubsection) headings have
> inconsistent header-tags (opening and closing tags are different levels):
> 
> <h3 class="subsubheading">Dark Corners</h5>
> --^
> -----------------------------------------^

this was a bug in previous versions of makeinfo.  When the manual is
regenerated for the latest version, gawk-3.1.4, which has Arnold just
released, this problem will get fixed.

Thanks,
        Stepan