chiark / gitweb /
Makefiles: Remove pipes on clean