chiark / gitweb /
man: make building of man pages optional