diff -r 3cf12ab0b8ac -r 9734f2717203 Admin/page/main-content/docs.content
--- a/Admin/page/main-content/docs.content	Mon Sep 11 17:40:41 2000 +0200
+++ b/Admin/page/main-content/docs.content	Mon Sep 11 17:41:34 2000 +0200
@@ -5,4 +5,5 @@
 
 <!-- _GP_ include("$pwd/docu-contents.main") -->
 
-All this documentation is also part of the Isabelle <a href="dist/">distribution</a>.
+All this documentation is also part of the Isabelle <a
+href="dist/">distribution</a> (both as dvi and pdf).