[slime-devel] Re: [PATCH] slime.texi: fixups for info

Luke Gorrie luke at bluetail.com
Fri Apr 16 11:52:37 UTC 2004


Richard M Kreuter <kreuter at anduril.rutgers.edu> writes:

> Here are two patches for slime.texi.

Applied, thanks!

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?

-Luke






More information about the slime-devel mailing list