Searched refs:relfile (Results 1 – 1 of 1) sorted by relevance
381 relfile=`echo "$$file" | sed 's|^.*/||'`; \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-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \406 relfile=`expr "$$file" : "$$d/\(.*\)"`; \407 test -f $(distdir)/$$relfile || \408 cp -p $$file $(distdir)/$$relfile; \669 relfile=`echo "$$ifile" | sed 's|^.*/||'`; \671 $(INSTALL_DATA) "$$ifile" "$(DESTDIR)$(infodir)/$$relfile"; \[all …]