[Mantisbt-dev] PATCH: documentation category

[Roelof N. <roe...@ep...>]

hi

the attached patch add the ability to assign a category to the docs. for 
example documentation, project patches, project programs, etc...

the documentation page (proj_doc_page.php) order by category and title.

regards
roelof.