From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ricardo Wurmus Subject: Re: Any interest in using HTML for locally-installed Texinfo documentation? Date: Wed, 03 Apr 2019 16:49:35 +0200 Message-ID: <87zhp7xhxc.fsf@elephly.net> References: <87a7h8u4r4.fsf@gnu.org> <87ef6kyxnj.fsf@elephly.net> <19a49416-7f84-3d3f-7612-b2e5e51fafae@bothner.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: In-reply-to: <19a49416-7f84-3d3f-7612-b2e5e51fafae@bothner.com> List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-texinfo-bounces+gnu-bug-texinfo2=m.gmane.org@gnu.org Sender: "bug-texinfo" To: Per Bothner Cc: guix-devel@gnu.org, Texinfo List-Id: guix-devel.gnu.org Per Bothner writes: > On 4/2/19 1:12 PM, Ricardo Wurmus wrote: >> As far as I know GNOME=E2=80=99s 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. FWIW Yelp also reads HTML files (and many more formats), though I haven=E2=80=99t yet tried this successfully with our Guix manual. Yelp unfortunately doesn=E2=80=99t utilize the Info manual=E2=80=99s index,= which is a great loss in my opinion. The info files are rendered with hard line breaks; the info format seems to make it hard to support variable width paragraphs, syntax highlighting in code snippets / examples, etc, because it doesn=E2=80=99t seem to retain markup. Yelp has a few bugs when rendering Info files; links to other Info documents don=E2=80=99t seem to work (e.g. references to the Guile manual i= n the Guix manual), for example, and images are not shown either. -- Ricardo