JDK-8239484 : Provide command-line options to control the System Properties page
  • Type: Sub-task
  • Component: tools
  • Sub-Component: javadoc(tool)
  • Affected Version: 15
  • Priority: P4
  • Status: Open
  • Resolution: Unresolved
  • Submitted: 2020-02-19
  • Updated: 2025-01-11
The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.
Other
tbdUnresolved
Description
Provide a command-line option for toggling the page generation, similar to other options like "-noindex", "-notree", "-use", etc. Whether or not the System Properties page is generated by default is to be defined
Comments
[~prappo]... or maybe skip the option for now, provided the default is sensible: meaning, if you use the tag you get the page, if you don't use the tag, you don't get an (empty) page.
25-02-2020

[~jjg] It's not too late. However, I'd rather address that in a separate issue. For now I'm thinking of using something like "--no-system-properties-page". It's close to what you suggested in the parent issue, JDK-8235827, but more explicit (although mouthful). The reason is that we are referring to the system properties *summary page*. Otherwise, that option name could be misleading and suggest that we are turning off parsing of system property tags or that we are not including system properties into the index.
25-02-2020

I suggest the System Properties page is enabled by default unless it would be empty.
19-02-2020

Maybe it's too late, but how about an extensible lint-like option --feature:index,-tree,use,-properties
19-02-2020