From mboxrd@z Thu Jan 1 00:00:00 1970 From: Gavin Smith Subject: Re: Any interest in using HTML for locally-installed Texinfo documentation? Date: Thu, 4 Apr 2019 11:33:43 +0100 Message-ID: <20190404103343.GB6369@darkstar.lan> References: <87a7h8u4r4.fsf@gnu.org> <20190402150245.GA30067@darkstar> <87zhp6okdf.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Return-path: Content-Disposition: inline In-Reply-To: <87zhp6okdf.fsf@gnu.org> 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: Ludovic =?iso-8859-1?Q?Court=E8s?= Cc: guix-devel@gnu.org, Texinfo List-Id: guix-devel.gnu.org On Wed, Apr 03, 2019 at 11:21:32PM +0200, Ludovic Courtès wrote: > > One thought is that there may be other "layout engines" that could be > > used, such as those in various GUI toolkits. > > Yes, the GTK+ stacks has everything we need to display hypertext > content nicely, I believe. OK, so embedding a full web browser might not be necessary. > >> When talking about ease of access, we can’t ignore keyword searches. > >> How would you do ‘info -k’? > > > > I don't know. You would have to have some way of finding all the > > installed manuals. > > One option would be to have the option of letting ‘info’ parse HTML > files or a pre-built keyword database. This is possible, assuming the code for this is not in JavaScript. > >> What about inter-manual cross-references? > >> Would we need a mechanism similar to ‘htmlxref.cnf’ but that would > >> browse local manuals? > > > > Good question. The inter-manual links in locally-installed HTML files > > would have to be recognizable. They could look like > > > > Texinfo > > > > instead of > > > > Texinfo > > Hmm, I’m skeptical. :-) Some other appropriate syntax could be devised. > And we haven’t talked about $INFOPATH yet. I anticipate that the help program would intercept links to external manuals and interpret them in terms of INFOPATH or an equivalent environment variable.