chiark / gitweb /
Makefiles: run realclean as tidy first then clean, as clean likes to delete some...