Lines Matching refs:relfile
875 relfile=`echo "$$file" | sed 's|^.*/||'`; \
876 echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \
877 install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \
883 relfile=`echo "$$file" | sed 's|^.*/||'`; \
884 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \
886 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]"; \
887 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \
918 relfile=`expr "$$file" : "$$d/\(.*\)"`; \
919 test -f $(distdir)/$$relfile || \
920 cp -p $$file $(distdir)/$$relfile; \
1075 relfile=`echo "$$ifile" | sed 's|^.*/||'`; \
1076 echo " $(INSTALL_DATA) '$$ifile' '$(DESTDIR)$(infodir)/$$relfile'"; \
1077 $(INSTALL_DATA) "$$ifile" "$(DESTDIR)$(infodir)/$$relfile"; \
1086 relfile=`echo "$$file" | sed 's|^.*/||'`; \
1087 echo " install-info --info-dir='$(DESTDIR)$(infodir)' '$(DESTDIR)$(infodir)/$$relfile'";\
1088 install-info --info-dir="$(DESTDIR)$(infodir)" "$(DESTDIR)$(infodir)/$$relfile" || :;\