manpages moved into doc/