Admin/page/main-content/docs.content

--- a/Admin/page/main-content/docs.content	Mon Oct 09 19:49:58 2000 +0200
+++ b/Admin/page/main-content/docs.content	Mon Oct 09 20:05:49 2000 +0200
@@ -5,6 +5,6 @@
 
 <!-- _GP_ distname --> documentation is included here as browsable PDF
 for convenience.  These documents are also part of the standard
-Isabelle <a href="dist/">distribution</a>.
+Isabelle <a href="dist/index.html">distribution</a>.
 
 <!-- _GP_ include("$pwd/docu-contents.main") -->