From 8a1f8f93d7e17154743daa1139a8971a51ec70c3 Mon Sep 17 00:00:00 2001
From: Andre <maroneze@users.noreply.github.com>
Date: Tue, 22 Jan 2019 14:32:25 +0100
Subject: Fix some URLs in the first page of the Coq HTML documentation (#263)

Links to machine-specific modules were garbled during editing.
---
 doc/index.html | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'doc')

diff --git a/doc/index.html b/doc/index.html
index 72875e1a..78d43504 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -183,7 +183,7 @@ code.
   <TD>Recognition of operators<br>and addressing modes</TD>
   <TD>Cminor to CminorSel</TD>
   <TD><A HREF="html/compcert.backend.Selection.html">Selection</A><br>
-      <A HREF="html/Selectcompcert.powerpc.Op.html"><I>SelectOp</I></A><br>
+      <A HREF="html/compcert.powerpc.SelectOp.html"><I>SelectOp</I></A><br>
       <A HREF="html/compcert.powerpc.SelectLong.html"><I>SelectLong</I></A><br>
       <A HREF="html/compcert.backend.SelectDiv.html">SelectDiv</A><br>
       <A HREF="html/compcert.backend.SplitLong.html">SplitLong</A></TD>
@@ -228,7 +228,7 @@ code.
   <TD>Constant propagation</TD>
   <TD>RTL to RTL</TD>
   <TD><A HREF="html/compcert.backend.Constprop.html">Constprop</A><br>
-      <A HREF="html/compcert.powerpc.Constpropcompcert.powerpc.Op.html"><I>ConstpropOp</I></A></TD>
+      <A HREF="html/compcert.powerpc.ConstpropOp.html"><I>ConstpropOp</I></A></TD>
   <TD><A HREF="html/compcert.backend.Constpropproof.html">Constpropproof</A><br>
       <A HREF="html/compcert.powerpc.ConstpropOpproof.html"><I>ConstproppOproof</I></A></TD>
 </TR>
@@ -237,7 +237,7 @@ code.
   <TD>Common subexpression elimination</TD>
   <TD>RTL to RTL</TD>
   <TD><A HREF="html/compcert.backend.CSE.html">CSE</A><BR>
-      <A HREF="html/compcert.powerpc.Combinecompcert.powerpc.Op.html"><I>CombineOp</I></A></TD>
+      <A HREF="html/compcert.powerpc.CombineOp.html"><I>CombineOp</I></A></TD>
   <TD><A HREF="html/compcert.backend.CSEproof.html">CSEproof</A><BR>
       <A HREF="html/compcert.powerpc.CombineOpproof.html"><I>CombineOpproof</I></A></TD>
 </TR>
@@ -328,10 +328,10 @@ CSE, and dead code elimination.
 <LI> <A HREF="html/compcert.backend.Liveness.html">Liveness</A>: liveness analysis</A>.
 <LI> <A HREF="html/compcert.backend.ValueAnalysis.html">ValueAnalysis</A>: value and alias analysis</A> <BR>
 See also: <A HREF="html/compcert.backend.ValueDomain.html">ValueDomain</A>: the abstract domain for value analysis.<BR>
-See also: <A HREF="html/ValueAcompcert.powerpc.Op.html"><I>ValueAOp</I></A>: processor-dependent parts of value analysis.
+See also: <A HREF="html/compcert.powerpc.ValueAOp.html"><I>ValueAOp</I></A>: processor-dependent parts of value analysis.
 <LI> <A HREF="html/compcert.backend.Deadcode.html">Deadcode</A>: neededness analysis</A> <BR>
 See also: <A HREF="html/compcert.backend.NeedDomain.html">NeedDomain</A>: the abstract domain for neededness analysis.<BR>
-See also: <A HREF="html/compcert.powerpc.Needcompcert.powerpc.Op.html"><I>NeedOp</I></A>: processor-dependent parts of neededness analysis.
+See also: <A HREF="html/compcert.powerpc.NeedOp.html"><I>NeedOp</I></A>: processor-dependent parts of neededness analysis.
 </UL>
 
 <H3>Type systems</H3>
-- 
cgit