[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [External] : Re: Indentation conventions for Info manuals; recognizi
|
From: |
Eli Zaretskii |
|
Subject: |
Re: [External] : Re: Indentation conventions for Info manuals; recognizing code |
|
Date: |
Mon, 08 Mar 2021 16:07:08 +0200 |
> From: Yuri Khan <yuri.v.khan@gmail.com>
> Date: Mon, 8 Mar 2021 12:49:32 +0700
> Cc: Eli Zaretskii <eliz@gnu.org>, "emacs-devel@gnu.org" <emacs-devel@gnu.org>
>
> 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
> that.
Yes, I believe the right direction to having a better styled display
of manuals is to begin with the HTML output. The Texinfo developers
are actually moving in that direction: to make the HTML output more
functional, so that it doesn't miss the important advantages of Info.