[PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Added rules so that `make -n' and `make -n check' work.