> Date: Mon, 3 Aug 2015 15:16:27 +0100 > From: Gavin Smith <gavinsmith0...@gmail.com> > Cc: 793...@bugs.debian.org, Texinfo <bug-texinfo@gnu.org> > > On 3 August 2015 at 14:22, Gavin Smith <gavinsmith0...@gmail.com> 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.
