Searched refs:relfile_i (Results 1 - 2 of 2) sorted by relevance

/osnet-11/usr/src/grub/grub2/build-bios/docs/
H A DMakefile884 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]; \
/osnet-11/usr/src/grub/grub2/build-uefi64/docs/
H A DMakefile884 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]; \

Completed in 35 milliseconds