Searched refs:distuninstallcheck (Results 1 – 10 of 10) sorted by relevance
473 distuninstallcheck \480 distuninstallcheck_dir="$$dc_destdir" distuninstallcheck; \490 distuninstallcheck:593 distcleancheck distdir distuninstallcheck dvi dvi-am html \
485 distuninstallcheck \492 distuninstallcheck_dir="$$dc_destdir" distuninstallcheck; \502 distuninstallcheck:614 distcleancheck distdir distuninstallcheck dvi dvi-am html \
528 distuninstallcheck \535 distuninstallcheck_dir="$$dc_destdir" distuninstallcheck; \545 distuninstallcheck:653 distclean-tags distcleancheck distdir distuninstallcheck dvi \
478 distuninstallcheck \485 distuninstallcheck_dir="$$dc_destdir" distuninstallcheck; \495 distuninstallcheck:598 distcleancheck distdir distuninstallcheck dvi dvi-am html \
565 distuninstallcheck \572 distuninstallcheck_dir="$$dc_destdir" distuninstallcheck; \582 distuninstallcheck:688 distcleancheck distdir distuninstallcheck dvi dvi-am html \
565 distuninstallcheck \572 distuninstallcheck_dir="$$dc_destdir" distuninstallcheck; \582 distuninstallcheck: target688 distcleancheck distdir distuninstallcheck dvi dvi-am html \
629 distuninstallcheck \636 distuninstallcheck_dir="$$dc_destdir" distuninstallcheck; \646 distuninstallcheck:755 distuninstallcheck dvi dvi-am html html-am info info-am \
610 distuninstallcheck \617 distuninstallcheck_dir="$$dc_destdir" distuninstallcheck; \627 distuninstallcheck:738 distclean-tags distcleancheck distdir distuninstallcheck dvi \
1080 distuninstallcheck \1087 distuninstallcheck_dir="$$dc_destdir" distuninstallcheck; \1097 distuninstallcheck:1233 distuninstallcheck dvi dvi-am html html-am info info-am \
1372 distuninstallcheck \1379 distuninstallcheck_dir="$$dc_destdir" distuninstallcheck; \1389 distuninstallcheck:1618 distuninstallcheck dvi dvi-am html html-am info info-am \