+
+clean-other-directory:
+ @set -e; if test -d ../pctb && ! test -L ../pctb; then \
+ echo '*** tidying up ../pctb; moving local data here ***'; \
+ set -x; \
+ find ../pctb -path '../pctb/_local-*.txt' -exec mv '{}' . \;; \
+ $(MAKE) -C ../pctb -f ../yarrg/Makefile realclean; \
+ rmdir ../pctb; \
+ fi