chiark / gitweb /
build-sys: make sure we rebuild manpages when doing releases