GNU bug report logs - #56420
Link to Info manual from describe-package help

Previous Next

Full log

Message #11 received at 56420 <at> debbugs.gnu.org (full text, mbox):

From: Stefan Kangas <stefan <at> marxist.se>
To: Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: 56420 <at> debbugs.gnu.org
Subject: Re: bug#56420: Link to Info manual from describe-package help
Date: Wed, 6 Jul 2022 14:36:37 +0200

Lars Ingebrigtsen <larsi <at> gnus.org> writes:

> Do you mean the `(manual)Node Name' links?

Yes.

> If so, do you have an example of a package with such a link?

No, but I wanted to add it to ERT just today.  (But didn't because it
doesn't link.)

However, thinking a bit more about this, perhaps we should just make
it easier to link to the Info manual up at the top?  I.e. where it
currently says:

     Status: Installed in ‘xr-1.22/’. Delete
    Version: 1.22

One question is what to do if the package/manual is not installed.  I
guess we could just show it without a link in such cases.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.