Makefile
changeset 2233 3840cefa5222
parent 2207 8a2a7f7d9df6
child 2234 9ea93ff67a73
--- a/Makefile	Tue May 09 17:03:00 2006 +0200
+++ b/Makefile	Tue May 09 17:05:49 2006 +0200
@@ -1,11 +1,13 @@
-# This Makefile is only used by developers.
+PREFIX=/usr/local
+export PREFIX
 PYTHON=python
 
 all:
 	$(PYTHON) setup.py build_ext -i
 
-install:
-	@echo "Read the file README for install instructions."
+install: all
+	$(PYTHON) setup.py install --home="$(PREFIX)"
+	cd doc && $(MAKE) $(MFLAGS) install
 
 clean:
 	-$(PYTHON) setup.py clean --all # ignore errors of this command