Admin/page/dist-content/docs.content

--- a/Admin/page/dist-content/docs.content	Tue Sep 12 15:43:15 2000 +0200
+++ b/Admin/page/dist-content/docs.content	Tue Sep 12 17:01:14 2000 +0200
@@ -6,5 +6,5 @@
 
 <!-- _GP_ include("$pwd/docu-contents.dist") -->
 
-All this documentation is also part of the Isabelle <a
-href="source.html">distribution</a> (both as dvi and pdf).
+All this documentation is also part of the Isabelle distribution (both
+as dvi and pdf).