chiark / gitweb /
doc: Fix distribution of generated manpages.