[Top][All Lists]

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

Re: [External] : Re: Indentation conventions for Info manuals; recognizi

From: Yuri Khan
Subject: Re: [External] : Re: Indentation conventions for Info manuals; recognizing code
Date: Mon, 8 Mar 2021 12:49:32 +0700

On Mon, 8 Mar 2021 at 10:49, Drew Adams <drew.adams@oracle.com> wrote:

> Too bad the translation has to be lossy.  The
> effect of showing <code>-like stuff is helpful
> (and is common in technical doc).
> And something will be needed if we ever hope to
> allow for variable-pitch text for most regular
> text while using fixed-pitch for places it makes
> sense (e.g. code).

You *want* nice variable-pitch text in Info, so you *ask for* a way to
distinguish code from body text in the Info output format, but what
you really *need* is the HTML output and a convenient browser for

reply via email to

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