|
From: | Oliver Heimlich |
Subject: | Re: @example's as doctests |
Date: | Sat, 28 Mar 2015 14:17:26 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.5.0 |
Am 28.03.2015 um 13:52 schrieb 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 ? Can you provide a patch ? Otherwise, can you point me to a specific example of this problem (in the interval package, for example) ? @++ Julien
Julien,each @group block within an @example block will be converted into a <pre class="example"> block.
## @end group ## @groupSuch a group change introduces an additional <pre> block between the groups, which contains a single space.
However, when I omit the spaces, there is no additional <pre> block and I am happy. ;-)
address@hidden group address@hiddenI investigated this further and found more unintentional <pre> blocks. Probably, the generate-html package should strip the spaces in front of @ macros at the beginning of lines. What do you think?
Oliver
[Prev in Thread] | Current Thread | [Next in Thread] |