Re: [STUMP] [PATCH] Make install-info configurable

[Shawn Betts]

Teemu Likonen <address@hidden> writes:

> This change drops the hard-coded install-info from Makefile.in and makes
> configure script check the program from the path. Only a warning is
> displayed when install-info doesn't exist because info manual is not
> essential for compiling. It is also possible to configure install-info
> by passing variable INSTALL_INFO to "make" command.
>
> The previous hard-coded install-info works usually fine but in Debian
> GNU/Linux systems there are two versions for the program:
> /usr/sbin/install-info and /usr/bin/ginstall-info.

Hi Teemu,

If it's useful to choose a different install-info, should it maybe be
a --with-install-info option? When I run your patch (on ubuntu 8) I
get:

checking for install-info... /usr/sbin/install-info
checking for install-info... (cached) /usr/sbin/install-info
checking for install-info... (cached) /usr/sbin/install-info

Which makes me wonder: why are there 3 checks?

I checked ratpoison's automake generated make files and it seems to
use a hardcoded install-info. If it's good enough for automake, isn't
it good enough for us? :)

-Shawn