[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: |
Mon, 03 Aug 2015 18:21:40 +0300 |
> Date: Mon, 3 Aug 2015 15:16:27 +0100
> From: Gavin Smith <address@hidden>
> Cc: address@hidden, Texinfo <address@hidden>
>
> On 3 August 2015 at 14:22, Gavin Smith <address@hidden> wrote:
> > I'm wondering if we can kill two birds with one stone here and get
> > install-info to actually install the Info file as part of the
> > solution.
>
> So here's an idea. Add a --suffix option to install-info and at the
> same time allow using a directory in the place of the dir file, so
> that you can invoke it like this:
>
> install-info --suffix=-5.2 info-stnd.info /usr/share/info
>
> When a directory is given in place of the dir file, the file should be
> copied to that directory, as well as adding its dir entries to a dir
> file that is found in that directory.
>
> Makefile rules, such as those generated with Automake, could check for
> the presence of the --suffix option (e.g. "install-info --suffix |
> grep unrecognized\ option"), and if it's found to be supported, use
> the new invocation syntax.
>
> An option --manual, used like, "install-info --manual=info-stnd-5.2"
> would allow arbitrary transformations of the manual name.
I don't see how this would solve the issue at hand. Installation of a
manual is a system-wide action, whereas Rob wanted a way for a _user_
to specify her preferred version(s) of the manual(s) to use at any
given moment.
- Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual, Rob Browning, 2015/08/02
- Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual, Gavin Smith, 2015/08/02
- Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual, Rob Browning, 2015/08/02
- Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual, Gavin Smith, 2015/08/03
- Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual, Gavin Smith, 2015/08/03
- 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/03
- Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual, Karl Berry, 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, Gavin Smith, 2015/08/04
- 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, Gavin Smith, 2015/08/04
- 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, Gavin Smith, 2015/08/04
- Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual, Eli Zaretskii, 2015/08/05
- Re: Bug#793067: Bug#792328: info: can no longer find the Emacs manual, Gavin Smith, 2015/08/05