Searched refs:relfile (Results 1 – 5 of 5) sorted by relevance
360 relfile=`echo "$$file" | sed 's|^.*/||'`; \361 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \362 install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \368 relfile=`echo "$$file" | sed 's|^.*/||'`; \369 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \371 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…372 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \385 relfile=`expr "$$file" : "$$d/\(.*\)"`; \386 test -f $(distdir)/$$relfile || \387 cp -p $$file $(distdir)/$$relfile; \[all …]
346 relfile=`echo "$$file" | sed 's|^.*/||'`; \347 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \348 install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \354 relfile=`echo "$$file" | sed 's|^.*/||'`; \355 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \357 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…358 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \371 relfile=`expr "$$file" : "$$d/\(.*\)"`; \372 test -f $(distdir)/$$relfile || \373 cp -p $$file $(distdir)/$$relfile; \[all …]
456 relfile=`echo "$$file" | sed 's|^.*/||'`; \457 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \458 install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \464 relfile=`echo "$$file" | sed 's|^.*/||'`; \465 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \467 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…468 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \481 relfile=`expr "$$file" : "$$d/\(.*\)"`; \482 test -f $(distdir)/$$relfile || \483 cp -p $$file $(distdir)/$$relfile; \[all …]
451 relfile=`echo "$$file" | sed 's|^.*/||'`; \452 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \453 install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \459 relfile=`echo "$$file" | sed 's|^.*/||'`; \460 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \462 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…463 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \476 relfile=`expr "$$file" : "$$d/\(.*\)"`; \477 test -f $(distdir)/$$relfile || \478 cp -p $$file $(distdir)/$$relfile; \[all …]
872 relfile=`echo "$$file" | sed 's|^.*/||'`; \873 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \874 install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \880 relfile=`echo "$$file" | sed 's|^.*/||'`; \881 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \883 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…884 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \897 relfile=`expr "$$file" : "$$d/\(.*\)"`; \898 test -f $(distdir)/$$relfile || \899 cp -p $$file $(distdir)/$$relfile; \[all …]