diff -r a8a4d5c97738 -r 4534da2b2bc1 Makefile.in
--- a/Makefile.in	Thu Jul 15 22:34:31 2010 +0200
+++ b/Makefile.in	Sun Oct 31 17:59:45 2010 +0100
@@ -241,8 +241,8 @@
 	 done
 
 install-doc: $(DESTDIR)$(DOCDIR)
-	@for doc_file in docs/CREDITS docs/overview.txt; do             \
-	     echo "  INST    '$${doc_file}'";                           \
+	@echo "  INST    'docs/*.txt'"
+	@for doc_file in docs/*.txt; do                              \
 	     $(install) -m 644 "$${doc_file}" "$(DESTDIR)$(DOCDIR)"; \
 	 done