Lawrence Mitchell wence@gmx.li writes:
Luke Gorrie wrote:
Another nice touch would be to have a 'make install' target... 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...
Right. The Debian and GNU implemmentations are similar, but the Debian one evidently requires a command line option to handle INFO-DIR-SECTION (at least version 1.9.21, which is Debian's stable). GNU install-info handles this automatically, albeit less flexibly.
Two patches: the first adds an infodir entry for the manual to the slime.texi. The second adds an install-info and an uninstall-info target, and install and uninstall targets that depend on these respectively. It has been tested with GNU install-info version 4.7 and Debian install-info 1.9.21. Slouching towards autoconf, this introduces a variable, infodir, which probably needs to be configured by the user.
Note: the manual and the Makefile probably copyright statements and statements of license. Various scrupulous entities (e.g., Debian) won't distribute any file whose copyrights and license status is unspecified.
-- Richard