chiark / gitweb /
Fixing for later automakes.