Point 'index' in CoqDocJS header to index.html (#1094)

MetaCoq · Sep 16, 2024 · ac6100e · ac6100e
1 parent 734acd2
commit ac6100e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/html/resources/header.html b/html/resources/header.html
@@ -19,7 +19,7 @@
 
     <span class="right">
       <a href="../">Project Page</a>
-      <a href="./indexpage.html"> Index </a>
+      <a href="./index.html"> Index </a>
       <a href="./toc.html"> Table of Contents </a>
     </span>
 </div>