RFR: 8305622: Remove Permission details from jcmd man page

[David Holmes]

On Wed, 5 Apr 2023 22:48:45 GMT, Chris Plummer <cjplummer at openjdk.org> wrote:

>> Removal of the Permission information from the jcmd man page.
>> 
>> This information is not useful in the way it is presented, and is not used in connection with jcmd, so should be removed from that man page.
>> 
>> The Permissions can be relevant when connecting remotely to JMX with a Security Manager in place.  That usage is clearly deprecated with JEP 411.  If there is a transition feature, it will be documented elsewhere.
>
> src/jdk.jcmd/share/man/jcmd.1 line 410:
> 
>> 408: If false, files are deleted.
>> 409: By default, this parameter is disabled.
>> 410: .IP \[bu] 2
> 
> Why is this being removed?

I'm guessing the src used to generate the manpage was missing the very recent change.

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/13363#discussion_r1159240634