[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual
From: |
Eli Zaretskii |
Subject: |
Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual |
Date: |
Fri, 07 Aug 2015 11:47:13 +0300 |
> Date: Thu, 6 Aug 2015 10:13:59 +0100
> From: Gavin Smith <address@hidden>
> Cc: address@hidden, Texinfo <address@hidden>,
> Rob Browning <address@hidden>, Karl Berry <address@hidden>
>
> On 4 August 2015 at 00:10, Norbert Preining <address@hidden> wrote:
> > ANyway, I wan to return to the proposal I wrote some time ago and
> > that was discarded as not working (or unclear):
> >
> > Change info reader node search method as follows:
> > * if a node is going to be followed, first search *in*the*current*directory*
> > for the respective info file, and if that fails search INFOPATH.
> >
> > That way one can:
> > * put files into subdirs
> > * links within the same suite work (emacs shipping lots of related info
> > docs)
> > * links to external progs will use the default version by searching
> > in INFOPATH
> >
> > I don't see disadvantages of this approach, but I am happy to listen to
> > explanations.
>
> I implemented that yesterday; are you able to run the version from the
> development repository?
>
> To disable it, set the "follow-strategy" variable to "path" in .infokey.
Thanks. Unless the Emacs Info reader already supports this, I suggest
to file a bug report asking for a similar implementation and a
similarly-named option. Please use "M-x report-emacs-bug RET" for that.
(I would have done this myself, but I cannot describe the feature you
implemented in enough detail to give the relevant Emacs developers the
information they will need to do the job.)
TIA
- Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual, (continued)
- Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual, Karl Berry, 2015/08/04
- Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual, Norbert Preining, 2015/08/03
- Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual, Eli Zaretskii, 2015/08/04
- Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual, Karl Berry, 2015/08/04
- Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual, Gavin Smith, 2015/08/06
- Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual, Norbert Preining, 2015/08/06
- Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual, Gavin Smith, 2015/08/06
- Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual,
Eli Zaretskii <=
- Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual, Gavin Smith, 2015/08/07