diff -r e9e37120397a Makefile
--- Makefile	Mon Feb 16 23:50:04 2009 +0100
+++ Makefile	Tue Feb 17 00:33:14 2009 +0100
@@ -1,5 +1,10 @@
+.PHONY: pal install
+
 pal:
 	make -C src
 
+install:
+	make -C src install
+
 %:
 	make -C src $@