Lines Matching refs:files
101 $(AWK) 'BEGIN { files["."] = "" } { files[$$2] = files[$$2] " " $$1; \
103 { print $$2, files[$$2]; n[$$2] = 0; files[$$2] = "" } } \
104 END { for (dir in files) print dir, files[dir] }'
553 @echo "it deletes files that may require special tools to rebuild."
587 while read files; do \
588 echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(dvidir)'"; \
589 $(INSTALL_DATA) $$files "$(DESTDIR)$(dvidir)" || exit $$?; \
612 while read files; do \
613 echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(htmldir)'"; \
614 $(INSTALL_DATA) $$files "$(DESTDIR)$(htmldir)" || exit $$?; \
636 while read files; do \
637 echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(infodir)'"; \
638 $(INSTALL_DATA) $$files "$(DESTDIR)$(infodir)" || exit $$?; done
661 while read files; do \
662 echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(pdfdir)'"; \
663 $(INSTALL_DATA) $$files "$(DESTDIR)$(pdfdir)" || exit $$?; done
674 while read files; do \
675 echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(psdir)'"; \
676 $(INSTALL_DATA) $$files "$(DESTDIR)$(psdir)" || exit $$?; done