git: openjdk/jdk: 8290845: Consider an alternative item separator for multi-item option values

[Jonathan Gibbons]

Changeset: 52494df4
Author:    Jonathan Gibbons <jjg at openjdk.org>
Date:      2022-11-18 22:30:09 +0000
URL:       https://git.openjdk.org/jdk/commit/52494df4f74a17fad51f4420c6ade724cb6aa715

8290845: Consider an alternative item separator for multi-item option values

Reviewed-by: prappo

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/standard.properties
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/BaseConfiguration.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/BaseOptions.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/taglets/TagletManager.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/Group.java
! src/jdk.javadoc/share/man/javadoc.1