HomePhabricator
Diffusion MITK 1511e63fc5ba

Rename documentation manual page names with leading the

Description

Rename documentation manual page names with leading the

Summary:
Branch T27610-FixRenameIssueInDocumentation
A previous diff caused problems since the documentation page name can not be equal to the plugin
name. To avoid this, all plugins have a leading the before the plugin name.

Fixed T27610

Test Plan: view doc html

Reviewers: O3 MITK Reviewer Group II, O1 MITK Reviewer Group I, kislinsk

Reviewed By: O3 MITK Reviewer Group II, O1 MITK Reviewer Group I, kislinsk

Maniphest Tasks: T27610

Differential Revision: https://phabricator.mitk.org/D358

Details