chiark / gitweb /
Makefile: Maintain generated configuration under `$(LOCAL)'.