--- Makefile.orig	Mon Apr 24 12:07:29 2006
+++ Makefile	Mon Jun  5 14:44:17 2006
@@ -34,7 +34,7 @@
 	done
 
 install: makeinclude
-	for dir in $(DIRS) documentation; do\
+	for dir in $(DIRS); do\
 		echo "=== installing $$dir ===";\
 		(cd $$dir; $(MAKE) $(MFLAGS) DESTDIR=$(DESTDIR) install) || exit $$?;\
 	done