--- Makefile.orig 2008-03-30 21:15:21.000000000 +0900 +++ Makefile 2008-03-30 23:33:03.000000000 +0900 @@ -2,5 +2,7 @@ @echo "OK, make done." @echo "Now try 'make install'" +.PHONY: install install: - cp -r readline{,.scm} `gauche-config --sitelibdir` + mkdir -p ${DESTDIR}`gauche-config --sitelibdir` + cp -r readline{,.scm} ${DESTDIR}`gauche-config --sitelibdir`