759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
|
else \
${INSTALL_FAILED}; \
fi \
done
install-extra:
uninstall: uninstall-extra
for i in "" ${SUBDIRS} ${SUBDIRS_AFTER}; do \
test x"$$i" = x"" && continue; \
${DIR_ENTER}; \
${MAKE} -s uninstall || exit $$?; \
${DIR_LEAVE}; \
done
|
|
|
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
|
else \
${INSTALL_FAILED}; \
fi \
done
install-extra:
uninstall:
for i in "" ${SUBDIRS} ${SUBDIRS_AFTER}; do \
test x"$$i" = x"" && continue; \
${DIR_ENTER}; \
${MAKE} -s uninstall || exit $$?; \
${DIR_LEAVE}; \
done
|
871
872
873
874
875
876
877
878
879
880
881
882
883
884
|
if rm -f ${DESTDIR}${mandir}/${mansubdir}/$$i; then \
${DELETE_OK}; \
else \
${DELETE_FAILED}; \
fi \
fi \
done
uninstall-extra:
clean:
for i in "" ${SUBDIRS} ${SUBDIRS_AFTER}; do \
test x"$$i" = x"" && continue; \
${DIR_ENTER}; \
|
>
>
|
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
|
if rm -f ${DESTDIR}${mandir}/${mansubdir}/$$i; then \
${DELETE_OK}; \
else \
${DELETE_FAILED}; \
fi \
fi \
done
${MAKE} -s uninstall-extra
uninstall-extra:
clean:
for i in "" ${SUBDIRS} ${SUBDIRS_AFTER}; do \
test x"$$i" = x"" && continue; \
${DIR_ENTER}; \
|