chiark / gitweb /
[PATCH] tweak the config file generation portion of the Makefile a bit.