chiark / gitweb /
[PATCH] first step of making man pages dynamically generated.