infernap12/jdk
1
0
Fork 0
mirror of https://github.com/openjdk/jdk.git synced 2026-03-08 23:20:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

8281445: Document the default value for the override-methods option

Browse Source 
Reviewed-by: prappo
This commit is contained in:
Jonathan Gibbons 2022-06-10 15:02:59 +00:00
parent 59b0de6bc7
commit 03276a5153
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/standard.properties
View File

@ -629,7 +629,8 @@ doclet.usage.override-methods.parameters=\
(detail|summary)
doclet.usage.override-methods.description=\
Document overridden methods in the detail or summary sections
Document overridden methods in the detail or summary sections.\n\
The default is 'detail'.
doclet.usage.allow-script-in-comments.description=\
Allow JavaScript in options and comments