Continuing the ongoing docs cleanup, please review this fix to remove a
superfluous <p>
in the docs for the java.scripting module.
No webrev; just one line deleted, as shown here:
$ 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>
JBS: https://bugs.openjdk.java.net/browse/JDK-8185359
-- Jon
