chiark / gitweb /
Makefile: add more to .PRECIOUS to defeat daft make