chiark / gitweb /
clean targets except realclean don't remove spec.html, spec.ps.