diff -r e146bbfc38c1 -r 7600cd36ec61 Admin/page/dist-content/docs.content
--- a/Admin/page/dist-content/docs.content	Mon Sep 18 14:49:51 2000 +0200
+++ b/Admin/page/dist-content/docs.content	Mon Sep 18 14:49:58 2000 +0200
@@ -8,8 +8,8 @@
 
 <!-- _GP_ include("$pwd/docu-contents.dist") -->
 
-The following text files of the Isabelle distribution may be of some
-interest:
+The following text files of the Isabelle distribution may be also of
+some interest:
 <ul>
 <li> <!-- _GP_ href(distname . "/ANNOUNCE", "ANNOUNCE") -->
 <li> <!-- _GP_ href(distname . "/README.html", "README") -->