--- 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`
