diff -r 38577502d613 -r 38092622e612 ProjectWeb/Documentation/source/index-Plugin_Project_Web.html
--- a/ProjectWeb/Documentation/source/index-Plugin_Project_Web.html Wed Jan 01 11:58:59 2020 +0100
+++ b/ProjectWeb/Documentation/source/index-Plugin_Project_Web.html Tue Jun 23 18:59:26 2020 +0200
@@ -20,12 +20,14 @@
</head>
<body>
<h1>Plugin_Project_Web</h1>
+
<p>
Package implementing the Web project plugin.
</p>
<h3>Packages</h3>
<table>
+
<tr>
<td><a href="index-Plugin_Project_Web.ProjectWeb.html">ProjectWeb</a></td>
<td>Package implementing web project plug-in data and functions.</td>
@@ -34,6 +36,7 @@
<h3>Modules</h3>
<table>
+
<tr>
<td><a href="Plugin_Project_Web.PluginProjectWeb.html">PluginProjectWeb</a></td>
<td>Module implementing the Web project plugin.</td>
