docker-library/php — pull request #41 by tianon (2014-11-10 20:16:17+00:00)
Title: Keep the source and instead just "make clean"

As discussed starting at https://github.com/docker-library/php/pull/39#issuecomment-62286624 (hopefully with more magic to come).