Lines Matching refs:relfile
1096 relfile=`echo "$$file" | sed 's|^.*/||'`; \
1097 echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \
1098 if install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \
1099 then :; else test ! -f "$(DESTDIR)$(infodir)/$$relfile" || exit 1; fi; \
1105 relfile=`echo "$$file" | sed 's|^.*/||'`; \
1106 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \
1108 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]"; \
1109 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \
1142 relfile=`expr "$$file" : "$$d/\(.*\)"`; \
1143 test -f "$(distdir)/$$relfile" || \
1144 cp -p $$file "$(distdir)/$$relfile"; \
1373 relfile=`echo "$$file" | sed 's|^.*/||'`; \
1374 echo " install-info --info-dir='$(DESTDIR)$(infodir)' '$(DESTDIR)$(infodir)/$$relfile'";\
1375 install-info --info-dir="$(DESTDIR)$(infodir)" "$(DESTDIR)$(infodir)/$$relfile" || :;\