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.


-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to