HTML conversion should ignore 'exdent' command

[Mahlon]

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.

TEXI SOURCE:

@example

unmodified line

@exdent exdented line

unmodified line

@end example

PRODUCES:

<div class="example">

<pre class="example">unmodified line

</pre><pre class="example">exdented line

</pre><pre class="example">unmodified line

</pre></div>

The HTML itself is perfectly ok except that it produces double-spaced lines (each inside <pre> ... </pre>) and produces no 'exdented' line.

Recommendation:

All instances of @exdent, regardless of where they are encountered, should be ignored by the texi-to-HTML converter, and it should generate markup as if the @exdent weren't there—which for this example would be:

<div class="example">

<pre class="example">unmodified line

exdented line

unmodified line

</pre></div>

Cheers,

Mahlon

--

Software Sam - software and tools for GNU/Linux

Mahlon Smith,
The Software Samurai
On the Web: http://www.SoftwareSam.us/