diff -r 659a8737501d -r 3ee643c5ed00 lib/html/library_index_content.template
--- a/lib/html/library_index_content.template	Sun Apr 10 21:30:48 2016 +0200
+++ b/lib/html/library_index_content.template	Sun Apr 10 21:46:12 2016 +0200
@@ -46,6 +46,8 @@
 
         <li><a href="Cube/index.html">Cube (The Lambda Cube)</a></li>
 
+        <li><a href="Pure/Pure/index.html">The Pure logical framework</a></li>
+
         <li><a href="Doc/index.html">Sources of Documentation</a></li>
       </ul>
     </li>