Searched refs:relfile (Results 1 – 1 of 1) sorted by relevance
381 relfile=`echo "$$file" | sed 's|^.*/||'`; \382 echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \383 install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \389 relfile=`echo "$$file" | sed 's|^.*/||'`; \390 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \392 echo " rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9])"; \393 rm -f $$relfile $$relfile[all...]