diff -r 43791f99d71e -r ce1cefc6c14c Admin/page/dist-content/docs.content
--- 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>