Change Details

According to its description, the Documentation category includes only the doc tree and external documentation. This commit explicitly adds manpages, so that reports involving manpages in the base or ports tree can also be categorized under Documentation.

According to its description, the Documentation category includes only the doc tree and external documentation. This commit explicitly adds manpages, so that reports involving manpages in the base or ports tree can also be categorized under Documentation. While here, also add the possibilty to include reports modifying existing external documentation.

According to its description, the Documentation category includes only the doc tree and external documentation. This commit explicitly adds manpages, so that reports involving manpages in the base or ports tree can also be categorized under Documentation. While here, also add the possibilty to include reports modifying existing external documentation.