@if test -d ${DESTDIR}${finkaolibdir} \
&& test ${finkaolibdir} != ${aolibdir}; then \
echo rm -f ${DESTDIR}${finkaolibdir}/libdisorder.*; \
@if test -d ${DESTDIR}${finkaolibdir} \
&& test ${finkaolibdir} != ${aolibdir}; then \
echo rm -f ${DESTDIR}${finkaolibdir}/libdisorder.*; \