Home
last modified time | relevance | path

Searched refs:relfile (Results 1 – 6 of 6) sorted by relevance

/trueos/contrib/binutils/gas/doc/
HDMakefile.in379 relfile=`echo "$$file" | sed 's|^.*/||'`; \
380 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \
381 install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \
387 relfile=`echo "$$file" | sed 's|^.*/||'`; \
388 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \
390 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…
391 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \
404 relfile=`expr "$$file" : "$$d/\(.*\)"`; \
405 test -f $(distdir)/$$relfile || \
406 cp -p $$file $(distdir)/$$relfile; \
[all …]
/trueos/contrib/binutils/binutils/doc/
HDMakefile.in366 relfile=`echo "$$file" | sed 's|^.*/||'`; \
367 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \
368 install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \
374 relfile=`echo "$$file" | sed 's|^.*/||'`; \
375 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \
377 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…
378 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \
391 relfile=`expr "$$file" : "$$d/\(.*\)"`; \
392 test -f $(distdir)/$$relfile || \
393 cp -p $$file $(distdir)/$$relfile; \
[all …]
/trueos/contrib/binutils/bfd/doc/
HDMakefile.in438 relfile=`echo "$$file" | sed 's|^.*/||'`; \
439 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \
440 install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \
446 relfile=`echo "$$file" | sed 's|^.*/||'`; \
447 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \
449 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…
450 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \
463 relfile=`expr "$$file" : "$$d/\(.*\)"`; \
464 test -f $(distdir)/$$relfile || \
465 cp -p $$file $(distdir)/$$relfile; \
[all …]
/trueos/contrib/gcclibs/libgomp/
HDMakefile.in508 relfile=`echo "$$file" | sed 's|^.*/||'`; \
509 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \
510 install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \
516 relfile=`echo "$$file" | sed 's|^.*/||'`; \
517 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \
519 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…
520 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \
533 relfile=`expr "$$file" : "$$d/\(.*\)"`; \
534 test -f $(distdir)/$$relfile || \
535 cp -p $$file $(distdir)/$$relfile; \
[all …]
/trueos/crypto/heimdal/doc/
HDMakefile.in558 relfile=`echo "$$file" | sed 's|^.*/||'`; \
559 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \
560 if install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \
561 then :; else test ! -f "$(DESTDIR)$(infodir)/$$relfile" || exit 1; fi; \
567 relfile=`echo "$$file" | sed 's|^.*/||'`; \
568 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \
570 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…
571 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \
604 relfile=`expr "$$file" : "$$d/\(.*\)"`; \
605 test -f "$(distdir)/$$relfile" || \
[all …]
/trueos/contrib/binutils/ld/
HDMakefile.in891 relfile=`echo "$$file" | sed 's|^.*/||'`; \
892 …echo " install-info --info-dir='$(DESTDIR)$(infodir)' --remove '$(DESTDIR)$(infodir)/$$relfile'"; \
893 install-info --info-dir="$(DESTDIR)$(infodir)" --remove "$(DESTDIR)$(infodir)/$$relfile"; \
899 relfile=`echo "$$file" | sed 's|^.*/||'`; \
900 relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \
902 …echo " cd '$(DESTDIR)$(infodir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile…
903 rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \
916 relfile=`expr "$$file" : "$$d/\(.*\)"`; \
917 test -f $(distdir)/$$relfile || \
918 cp -p $$file $(distdir)/$$relfile; \
[all …]