Break up the list of man pages into smaller groups.  This prevents a problem initially reported by Paul Hargrove (http://www.open-mpi.org/community/lists/hwloc-devel/2012/01/2731.php) that on some older systems, the command line for installing the man pages got too large, and therefore failed.
Break up the list of man pages into smaller groups.  This prevents a
problem initially reported by Paul Hargrove
(http://www.open-mpi.org/community/lists/hwloc-devel/2012/01/2731.php)
that on some older systems, the command line for installing the man
pages got too large, and therefore failed.


git-svn-id: 14be032f8f42541b1a281b51ae8ea69814daf20e@4237 4b44e086-7f34-40ce-a3bd-00e031736276

BlueBrain/hwloc,BlueBrain/hwloc,BlueBrain/hwloc,BlueBrain/hwloc