--- Makefile.orgi	2008-12-07 14:02:42.000000000 +0100
+++ Makefile	2008-12-07 14:03:19.000000000 +0100
@@ -15,8 +15,4 @@
 	$(MAKEDIRS)
 	@(										\
 	$(INSTALLODR) $(TMPDIR);							\
-	$(INSTALLDIR) $(DOCDIR);							\
-	for IDOCFILE in COPYING ChangeLog FAQ INSTALL README README.DEV THANKS; do	\
-	    $(INSTALLFIL) $$IDOCFILE $(DOCDIR);						\
-	done										\
 	)
