--- a/Admin/page/dist-content/docs.content Tue Feb 13 16:05:56 2001 +0100
+++ b/Admin/page/dist-content/docs.content Tue Feb 13 16:31:18 2001 +0100
@@ -13,10 +13,10 @@
information about the present release and additional installation
instructions.
<ul>
-<li> <!-- _GP_ href(distname . "/ANNOUNCE", "ANNOUNCE") -->
-<li> <!-- _GP_ href(distname . "/README.html", "README") -->
-<li> <!-- _GP_ href(distname . "/INSTALL", "INSTALL") -->
-<li> <!-- _GP_ href(distname . "/NEWS", "NEWS") -->
+<li><!-- _GP_ href(distname . "/ANNOUNCE", "ANNOUNCE") -->
+<li><!-- _GP_ href(distname . "/README.html", "README") -->
+<li><!-- _GP_ href(distname . "/INSTALL", "INSTALL") -->
+<li><!-- _GP_ href(distname . "/NEWS", "NEWS") -->
</ul>
<p>