Use python-sphinx10 for man builder