# HG changeset patch
# User wenzelm
# Date 1662891830 -7200
# Node ID b62634686c72f7518a52008d61df1951922be1a3
# Parent  41bea72acc75ec30df6db609d8429ac5edcb71f2
proper path;

diff -r 41bea72acc75 -r b62634686c72 lib/html/library_index_content.template
--- a/lib/html/library_index_content.template	Sun Sep 11 10:26:41 2022 +0200
+++ b/lib/html/library_index_content.template	Sun Sep 11 12:23:50 2022 +0200
@@ -16,7 +16,7 @@
 
     <li style="list-style: none">
       <ul>
-        <li><a href="ZF/index.html">ZF (Set Theory)</a>
+        <li><a href="FOL/ZF/index.html">ZF (Set Theory)</a>
         offers a formulation of Zermelo-Fraenkel set theory on top of FOL.
         </li>