Changed parameter naming of man_extension to man_section in gendocs script and configuration file
Minor change of documentation formatting