chiark / gitweb /
clean targets: Delete $(TARGETS) too!