chiark / gitweb /
Fix sedfiles.make to cope with changed make syntax. Reported by Colin