Outdated link to Texinfo CSS

2020-01-13 Thread sirgazil
Hello, The link to my CSS in the "HTML styling and processing" section of Texinfo's home page doesn't work anymore because Bitbucket websites changed from ".org" to ".io". Could you please update it to point to "https://sirgazil.bitbucket.io/en/artifacts/texinfo-css/"; instead? And also my we

Re: Any interest in using HTML for locally-installed Texinfo documentation?

2019-04-03 Thread sirgazil
El 3/04/19 a las 3:43 a. m., Gavin Smith escribió: On Tue, Apr 02, 2019 at 06:09:40PM -0500, sirgazil wrote: El 2/04/19 a las 5:10 p. m., Per Bothner escribió: 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

Re: Any interest in using HTML for locally-installed Texinfo documentation?

2019-04-02 Thread sirgazil
El 2/04/19 a las 5:10 p. m., Per Bothner escribió: 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 m