# HG changeset patch
# User wenzelm
# Date 1452958665 -3600
# Node ID eb9f5ee249f9bd070fdbb4b5d7fff61466cb67d5
# Parent  ec5703538300f4bfad5b5b13226e90fd2e3752b6
keep src/Doc;

diff -r ec5703538300 -r eb9f5ee249f9 Admin/Release/build_library
--- a/Admin/Release/build_library	Sat Jan 16 15:57:38 2016 +0100
+++ b/Admin/Release/build_library	Sat Jan 16 16:37:45 2016 +0100
@@ -77,8 +77,6 @@
 
 echo "ISABELLE_FULL_TEST=true" >> etc/settings
 
-echo -n > src/Doc/ROOT
-
 env ISABELLE_IDENTIFIER="${ISABELLE_NAME}-build" \
   ./bin/isabelle build $JOBS -s -c -a -o browser_info \
     -o "document=pdf" -o "document_variants=document:outline=/proof,/ML"
diff -r ec5703538300 -r eb9f5ee249f9 lib/html/library_index_content.template
--- a/lib/html/library_index_content.template	Sat Jan 16 15:57:38 2016 +0100
+++ b/lib/html/library_index_content.template	Sat Jan 16 16:37:45 2016 +0100
@@ -45,7 +45,8 @@
         is an extensional version of Martin-L&ouml;f's Type Theory.</li>
 
         <li><a href="Cube/index.html">Cube (The Lambda Cube)</a></li>
+
+        <li><a href="Doc/index.html">Sources of Documentation</a></li>
       </ul>
     </li>
   </ul>
-