chiark / gitweb /
Makefile: remove other job.* files when installing JOB.G