diff -r 7b34a932eeb6 -r e5df9c8d9d4b lib/html/library_index_content.template
--- a/lib/html/library_index_content.template	Sat Jun 06 10:58:13 2020 +0200
+++ b/lib/html/library_index_content.template	Mon Jun 08 15:09:57 2020 +0200
@@ -46,7 +46,7 @@
 
         <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="Pure/index.html">The Pure logical framework</a></li>
 
         <li><a href="Doc/index.html">Sources of Documentation</a></li>
       </ul>