[slime-devel] install-info (was: [PATCH] slime.texi: fixups for info)

Lawrence Mitchell wence at gmx.li
Fri Apr 16 13:17:25 UTC 2004


Luke Gorrie wrote:

[...]

> Another nice touch would be to have a 'make install' target to
> put the info file into the main info directory. However, I've
> never been quite sure how to do this -- different machines seem
> to want different install directories and expect different
> arguments to 'install-info'. Does anyone know how to handle
> this correctly, preferable without resorting to autoconf?

I /think/ there are basically two types of install-info,
Debian's, and the standard Gnu version, which differ in their
arguments, other than that, I think just doing
install-info --info-dir=/usr/local/info slime.info
works on Debian, whether this ports to other systems, I don't
know.

-- 
Lawrence Mitchell <wence at gmx.li>





More information about the slime-devel mailing list