bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

HTML conversion should ignore 'exdent' command


From: Mahlon
Subject: HTML conversion should ignore 'exdent' command
Date: Sat, 15 Nov 2014 14:26:12 +0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.2.0

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/


reply via email to

[Prev in Thread] Current Thread [Next in Thread]