-
Type:
Bug
-
Resolution: Fixed
-
Priority:
P4
-
Affects Version/s: None
-
Component/s: infrastructure
-
None
-
b07
Javadoc generated HTML5 documentation by default. The Docs.gmk generating the javadoc pages needs to be updated to remove the -html5 option from the JAVADOC_OPTIONS set.