Searched refs:relfile (Results 1 – 5 of 5) sorted by relevance
466 relfile=`echo "$$file" | sed 's|^.*/||'`; \467 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \468 if install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \469 then :; else test ! -f "$(DESTDIR)$(infodir)/$$relfile" || exit 1; fi; \475 relfile=`echo "$$file" | sed 's|^.*/||'`; \476 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \478 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…479 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \512 relfile=`expr "$$file" : "$$d/\(.*\)"`; \513 test -f "$(distdir)/$$relfile" || \[all …]
440 relfile=`echo "$$file" | sed 's|^.*/||'`; \441 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \442 if install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \443 then :; else test ! -f "$(DESTDIR)$(infodir)/$$relfile" || exit 1; fi; \449 relfile=`echo "$$file" | sed 's|^.*/||'`; \450 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \452 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…453 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \486 relfile=`expr "$$file" : "$$d/\(.*\)"`; \487 test -f "$(distdir)/$$relfile" || \[all …]
509 relfile=`echo "$$file" | sed 's|^.*/||'`; \510 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \511 if install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \512 then :; else test ! -f "$(DESTDIR)$(infodir)/$$relfile" || exit 1; fi; \518 relfile=`echo "$$file" | sed 's|^.*/||'`; \519 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \521 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…522 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \555 relfile=`expr "$$file" : "$$d/\(.*\)"`; \556 test -f "$(distdir)/$$relfile" || \[all …]
581 relfile=`echo "$$file" | sed 's|^.*/||'`; \582 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \583 if install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \584 then :; else test ! -f "$(DESTDIR)$(infodir)/$$relfile" || exit 1; fi; \590 relfile=`echo "$$file" | sed 's|^.*/||'`; \591 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \593 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…594 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \627 relfile=`expr "$$file" : "$$d/\(.*\)"`; \628 test -f "$(distdir)/$$relfile" || \[all …]
1515 relfile=`echo "$$file" | sed 's|^.*/||'`; \1516 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \1517 if install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \1518 then :; else test ! -f "$(DESTDIR)$(infodir)/$$relfile" || exit 1; fi; \1524 relfile=`echo "$$file" | sed 's|^.*/||'`; \1525 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \1527 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…1528 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \1561 relfile=`expr "$$file" : "$$d/\(.*\)"`; \1562 test -f "$(distdir)/$$relfile" || \[all …]