From a05f92785ffa93e4001d2a2e9a630351593fabc2 Mon Sep 17 00:00:00 2001
From: Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr>
Date: Fri, 16 Apr 2021 18:39:17 +0200
Subject: fix broken link in index-kvx.html

---
 doc/index-kvx.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/index-kvx.html b/doc/index-kvx.html
index 6d56cbdb..62afb423 100644
--- a/doc/index-kvx.html
+++ b/doc/index-kvx.html
@@ -278,7 +278,7 @@ This IR is generic over the processor, even if currently, only used for KVX.
   </TD>
   <TD>RTL to RTL</TD>
   <TD><A HREF="html/compcert.backend.Duplicate.html">Duplicate</A> (generic checker)</TD>
-  <TD><A HREF="html/compcert.scheduling.Duplicateproof.html">Duplicateproof</A> (generic proof)<BR>
+  <TD><A HREF="html/compcert.backend.Duplicateproof.html">Duplicateproof</A> (generic proof)<BR>
     <a href="html/compcert.backend.Duplicatepasses.html">Duplicatepasses</a> (several passes from several oracles)</TD>
 </TR>
 <TR valign="top" style="color:#000000">
-- 
cgit