chiark / gitweb /
Do not remove top-level Makefile on `make clean'.