|
From: | Julien Bect |
Subject: | Re: @example's as doctests |
Date: | Sat, 28 Mar 2015 13:52:01 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux i686; rv:31.0) Gecko/20100101 Thunderbird/31.5.0 |
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 ?
Can you provide a patch ? Otherwise, can you point me to a specific example of this problem (in the interval package, for example) ?
@++ Julien
[Prev in Thread] | Current Thread | [Next in Thread] |