Lines Matching full:"$ files"
649 echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(dvidir)'"; \
650 $(INSTALL_DATA) $$files "$(DESTDIR)$(dvidir)" || exit $$?; \
674 echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(htmldir)'"; \
675 $(INSTALL_DATA) $$files "$(DESTDIR)$(htmldir)" || exit $$?; \
698 echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(infodir)'"; \
699 $(INSTALL_DATA) $$files "$(DESTDIR)$(infodir)" || exit $$?; done
723 echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(pdfdir)'"; \
724 $(INSTALL_DATA) $$files "$(DESTDIR)$(pdfdir)" || exit $$?; done
736 echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(psdir)'"; \
737 $(INSTALL_DATA) $$files "$(DESTDIR)$(psdir)" || exit $$?; done
