Changed parameter naming of man_extension to man_section in gendocs configuration file