Lines Matching refs:relfile
493 relfile=`echo "$$file" | sed 's|^.*/||'`; \
494 echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \
495 install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \
501 relfile=`echo "$$file" | sed 's|^.*/||'`; \
502 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \
504 echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]"; \
505 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \
518 relfile=`expr "$$file" : "$$d/\(.*\)"`; \
519 test -f $(distdir)/$$relfile || \
520 cp -p $$file $(distdir)/$$relfile; \
667 relfile=`echo "$$ifile" | sed 's|^.*/||'`; \
668 echo " $(INSTALL_DATA) '$$ifile' '$(DESTDIR)$(infodir)/$$relfile'"; \
669 $(INSTALL_DATA) "$$ifile" "$(DESTDIR)$(infodir)/$$relfile"; \
678 relfile=`echo "$$file" | sed 's|^.*/||'`; \
679 echo " install-info --info-dir='$(DESTDIR)$(infodir)' '$(DESTDIR)$(infodir)/$$relfile'";\
680 install-info --info-dir="$(DESTDIR)$(infodir)" "$(DESTDIR)$(infodir)/$$relfile" || :;\