Makefile.in
changeset 2087 fefd9a3f8180
parent 2026 a8a4d5c97738
child 2422 e013ddebc063
     1.1 --- a/Makefile.in	Thu Jul 15 22:34:31 2010 +0200
     1.2 +++ b/Makefile.in	Tue Aug 17 23:50:03 2010 +0200
     1.3 @@ -241,8 +241,8 @@
     1.4  	 done
     1.5  
     1.6  install-doc: $(DESTDIR)$(DOCDIR)
     1.7 -	@for doc_file in docs/CREDITS docs/overview.txt; do             \
     1.8 -	     echo "  INST    '$${doc_file}'";                           \
     1.9 +	@echo "  INST    'docs/*.txt'"
    1.10 +	@for doc_file in docs/*.txt; do                              \
    1.11  	     $(install) -m 644 "$${doc_file}" "$(DESTDIR)$(DOCDIR)"; \
    1.12  	 done
    1.13