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/
<http://www.SoftwareSam.us/home.html>/
