by
> Throw away the man pages for which you have the corresponding cat
> pages. This way you're sure that:
I did throw away the cat-pages.
> 1. The cat pages won't be created again from the man pages.
A _working_ man will not do that _OR_ it should ('cause the unformatted man
page is newer/updated. Guess what? There exist sources that have the
appropriate man pages with 'em... :)
> 2. The man command will work much faster (no need to reformat the
> man pages again).
I can live very well with that little delay (in most cases) and I like to good
printouts (groff -mandoc -Tps).
bye,
Peter