if test ! -d libraries/$$d; then \
echo "Looks like you're missing libraries/$$d,"; \
echo "maybe you haven't done './darcs-all get'?"; \
if test ! -d libraries/$$d; then \
echo "Looks like you're missing libraries/$$d,"; \
echo "maybe you haven't done './darcs-all get'?"; \
CLEAN_FILES += hc-files-to-go *-hc.tar.gz
DIST_CLEAN_FILES += config.cache config.status mk/config.h mk/stamp-h \
CLEAN_FILES += hc-files-to-go *-hc.tar.gz
DIST_CLEAN_FILES += config.cache config.status mk/config.h mk/stamp-h \
# don't clean config.mk: it's needed when cleaning stuff later on
LATE_DIST_CLEAN_FILES += mk/config.mk
# don't clean config.mk: it's needed when cleaning stuff later on
LATE_DIST_CLEAN_FILES += mk/config.mk