[
https://issues.apache.org/jira/browse/MPLUGIN-541?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17926365#comment-17926365
]
Konrad Windszus commented on MPLUGIN-541:
-----------------------------------------
bq. But question is ... should we change "Plugin Documentation" to "Plugin
Details" in the site manu?
Are you referring to the menu item below "Project Documentation" -> "Project
Reports" or some other manually maintained menu item? The former is renamed
with this proposal, the latter is up to decide for each consumer.
> Rename report from "Plugin Documentation" to "Plugin Details"
> -------------------------------------------------------------
>
> Key: MPLUGIN-541
> URL: https://issues.apache.org/jira/browse/MPLUGIN-541
> Project: Maven Plugin Tools
> Issue Type: Improvement
> Components: Plugin Reporting Plugin
> Reporter: Konrad Windszus
> Assignee: Konrad Windszus
> Priority: Major
>
> The report name/title being used in
> https://github.com/apache/maven-plugin-tools/blob/bc2daa4bb2b71b13e9de7014aad97bd6b6b0f5c4/maven-plugin-report-plugin/src/main/resources/plugin-report.properties#L20C2-L20C40
> is very generic (e.g. used in
> https://maven.apache.org/plugins/maven-compiler-plugin/plugin-info.html).
> Usually the plugin documentation is the whole site (not just the one report
> of it).
> I propose to rename that to "Plugin Details" (or "Plugin Info") so that there
> is a better distinction between an index page of the site of the module and
> this main report page.
> The page name of the report is "plugin-info"
> (https://github.com/apache/maven-plugin-tools/blob/bc2daa4bb2b71b13e9de7014aad97bd6b6b0f5c4/maven-plugin-report-plugin/src/main/java/org/apache/maven/plugin/plugin/report/PluginReport.java#L262C17-L262C23).
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
