Re: HTML conversion should ignore 'exdent' command

[Patrice Dumas]

On Sat, Nov 15, 2014 at 02:26:12PM +0800, Mahlon wrote:
> 15 Nov 2014
> 
> RE: '@exdent' command in HTML output
> 
> Version: makeinfo 5.2 (built from source on Fedora 20 x86_64)
> 
> Bug:
> 
> The @exdent command is not very useful anywhere, but it is causing
> chaos in texi-to-HTML conversion. Logically, (and as documented) the
> HTML converter should ignore all instances of the @exdent command.
> Instead, it is being processed, but is not doing what is intended.

This issue can be approached from many sides.  One is the Texinfo tree
side.  For now @exdent stops the paragraph or preformatted it is in,
(same as what would do a block command such as @itemize, or other
commands such as @center, @sp, @shortcontents or @verbatiminclude).  It
doesn't stop the @-command that started in the first place the
preformatted environment, such as @example.  This could be different, an
@exdent could also be within the preformatted environment.

The next side is trees transformation.  We do that for HTML and Docbook
to move index entries after items, such that

 @enumerate
 @cindex some index
 @item aa

is transformed as

 @enumerate
 @item aa
 @cindex some index

This would be an option, here, the issue is speed as the whole texinfo
tree has to be run through.

The last side is the translation to HTML.  Maybe having a <pre> for the
@exdent line is not bad if it allows to exdent it for real.  I think
that it would be the best solution, even if it implies an extra line.  I
personnally do not know how to do that, but it could certainly be
doable.

Opinions, proposals?

-- 
Pat