-
Bug
-
Resolution: Fixed
-
P3
-
9
-
b18
There is an unnecessary <p> before the list of tool guides in docs/api/java.scripting-summary.html, originating in src/java.scripting/share/classes/module-info.java
$ hg diff -R jdk
diff -r d93f2fd542b7 src/java.scripting/share/classes/module-info.java
--- a/src/java.scripting/share/classes/module-info.java Tue Jul 25 18:36:19 2017 -0700
+++ b/src/java.scripting/share/classes/module-info.java Wed Jul 26 11:49:07 2017 -0700
@@ -31,7 +31,6 @@
* that supports executing JavaScript and other languages if its corresponding
* script engine is installed.
*
- * <p>
* <dl style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif">
* <dt class="simpleTagLabel">Tool Guides:
* <dd> {@extLink jrunscript_tool_reference jrunscript}</dd>
$ hg diff -R jdk
diff -r d93f2fd542b7 src/java.scripting/share/classes/module-info.java
--- a/src/java.scripting/share/classes/module-info.java Tue Jul 25 18:36:19 2017 -0700
+++ b/src/java.scripting/share/classes/module-info.java Wed Jul 26 11:49:07 2017 -0700
@@ -31,7 +31,6 @@
* that supports executing JavaScript and other languages if its corresponding
* script engine is installed.
*
- * <p>
* <dl style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif">
* <dt class="simpleTagLabel">Tool Guides:
* <dd> {@extLink jrunscript_tool_reference jrunscript}</dd>