I've pushed a fix, now these properties should hold: 1) All man pages are included in the 'make dist' archive.
This means that everyone building from version controlled sources
needs to have all tools enabled -- so Ludo really needs to install
curses on his build machine for 'make dist' to work for him in the
future.
2) Man pages are not _installed_ when a tool has been disabled with
./configure --disable-foo.
Did we have any other goals here?
/Simon
