chiark / gitweb /
[PATCH] switch to generate the man pages during the normal build, not during the...