From ca0117ca268873766ac4fda3771295842b17fcd6 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 23 Aug 2011 11:45:14 +0000
Subject: Doc fixes

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1726 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 doc/index.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'doc/index.html')

diff --git a/doc/index.html b/doc/index.html
index 84d2905d..1fd7859a 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -112,7 +112,8 @@ semantics.
 <LI> The Compcert C source language:
 <A HREF="html/Csyntax.html">syntax</A> and
 <A HREF="html/Csem.html">semantics</A> and
-<A HREF="html/Cstrategy.html">determinized semantics</A>.
+<A HREF="html/Cstrategy.html">determinized semantics</A>.<BR>
+See also: <A HREF="html/Cexec.html">reference interpreter</A>.
 <LI> <A HREF="html/Clight.html">Clight</A>: a simpler version of Cmedium where expressions contain no side-effects.
 <LI> <A HREF="html/Csharpminor.html">Csharpminor</A>: low-level
  structured language.
-- 
cgit