On Thu, Aug 6, 2015, at 10:11, Gavin Smith wrote:
> On 6 August 2015 at 09:06, Benno Schulenberg <[email protected]> wrote:
> > For example, when a texi doc contains "Press ^X. Then press N.
> > And it's gone...", the Info document that makeinfo produces will
> > contain just one space before "Then" and "And".
>
> See Info node (texinfo)Ending a Sentence.
Thanks.
An unrelated question. How can I get <pre> or <code> formatting
in the HTML output, but not have any quotes added in the Info doc?
I have a string, including the double quotes, that I wish to have set
in a fixed-wdith font in the HTML document, but I don't want single
quotes added around the string when such type setting is not available.
Currently I have @code{"string"}, which results in '"string"' in the
Info document, which is undesirable.
Benno
--
http://www.fastmail.com - Same, same, but different...
