Re: @example's as doctests

[Søren Hauberg]

Den 28-03-2015 kl. 13:52 skrev Julien Bect:
> Le 28/03/2015 13:34, Oliver Heimlich a écrit :
> > I'd prefer this solution. However, the current generate-html adds 
> > additional margins between @group blocks. They are smaller than the 
> > margins between @example + @group blocks, but still very big. 
> > According to texinfo the @group blocks should not add margins and 
> > only affect pagination. Can we fix this in the generate-html package?
>
> Hello Oliver,
>
> Is it a problem with the HTML generated by the generate_html package, 
> or simply a problem with the CSS ?
Have you looked at the HTML produced by 'generate_html'? One of the bugs 
that haunted me was that 'makeinfo' does not close '<div>' tags, i.e. it 
writes a '<div>' but does not add the matching '</div>' tag. Perhaps 
this is at the root of your troubles?

Cheers
Søren