Searched refs:relfile (Results 1 – 4 of 4) sorted by relevance
355 relfile=`echo "$$file" | sed 's|^.*/||'`; \356 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \357 if install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \358 then :; else test ! -f "$(DESTDIR)$(infodir)/$$relfile" || exit 1; fi; \364 relfile=`echo "$$file" | sed 's|^.*/||'`; \365 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \367 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…368 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \401 relfile=`expr "$$file" : "$$d/\(.*\)"`; \402 test -f "$(distdir)/$$relfile" || \[all …]
588 relfile=`echo "$$file" | sed 's|^.*/||'`; \589 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \590 if install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \591 then :; else test ! -f "$(DESTDIR)$(infodir)/$$relfile" || exit 1; fi; \597 relfile=`echo "$$file" | sed 's|^.*/||'`; \598 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \600 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…601 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \634 relfile=`expr "$$file" : "$$d/\(.*\)"`; \635 test -f "$(distdir)/$$relfile" || \[all …]
1569 relfile=`echo "$$file" | sed 's|^.*/||'`; \1570 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \1571 if install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \1572 then :; else test ! -f "$(DESTDIR)$(infodir)/$$relfile" || exit 1; fi; \1578 relfile=`echo "$$file" | sed 's|^.*/||'`; \1579 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \1581 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…1582 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \1615 relfile=`expr "$$file" : "$$d/\(.*\)"`; \1616 test -f "$(distdir)/$$relfile" || \[all …]
1482 relfile=`echo "$$file" | sed 's|^.*/||'`; \1483 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \1484 if install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \1485 then :; else test ! -f "$(DESTDIR)$(infodir)/$$relfile" || exit 1; fi; \1491 relfile=`echo "$$file" | sed 's|^.*/||'`; \1492 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \1494 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…1495 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \1528 relfile=`expr "$$file" : "$$d/\(.*\)"`; \1529 test -f "$(distdir)/$$relfile" || \[all …]