Home | History | Annotate | Download | only in doc

Lines Matching full:"$ files"

557 	  test -z "$$files" || { \
558 echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(man1dir)'"; \
559 $(INSTALL_DATA) $$files "$(DESTDIR)$(man1dir)" || exit $$?; }; \
570 test -z "$$files" || { \
571 echo " ( cd '$(DESTDIR)$(man1dir)' && rm -f" $$files ")"; \
572 cd "$(DESTDIR)$(man1dir)" && rm -f $$files; }
646 echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(dvidir)'"; \
647 $(INSTALL_DATA) $$files "$(DESTDIR)$(dvidir)" || exit $$?; \
671 echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(htmldir)'"; \
672 $(INSTALL_DATA) $$files "$(DESTDIR)$(htmldir)" || exit $$?; \
695 echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(infodir)'"; \
696 $(INSTALL_DATA) $$files "$(DESTDIR)$(infodir)" || exit $$?; done
720 echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(pdfdir)'"; \
721 $(INSTALL_DATA) $$files "$(DESTDIR)$(pdfdir)" || exit $$?; done
733 echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(psdir)'"; \
734 $(INSTALL_DATA) $$files "$(DESTDIR)$(psdir)" || exit $$?; done