On Wednesday 05 August 2009 22:34:45 Alvaro Herrera wrote:
> The reason the files they don't show up is that they are being
> removed by a "rm" call in the makefile. And they are in section 1
> because they are missing a <manvolnum> tag.
The old tool dropped man pages without manvolnum, the new tool generates them
with a default section. There is no standard that says which is right.