|
| From: | Per Bothner |
| Subject: | Re: Any interest in using HTML for locally-installed Texinfo documentation? |
| Date: | Tue, 2 Apr 2019 15:10:21 -0700 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1 |
On 4/2/19 1:12 PM, Ricardo Wurmus wrote:
As far as I know GNOME’s Yelp is a frontend to different kinds of documentation and it does support Info files.
That reads *info* files. We're talking about reading *html* files.
See Gavin's original message for why we want to use html.
--
--Per Bothner
address@hidden http://per.bothner.com/
| [Prev in Thread] | Current Thread | [Next in Thread] |