From e8027cbeac9e4fc0efe5a0b661bcc2e2a89dab35 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 25 Nov 2020 15:47:30 +0000
Subject: Fix documentation for docs website

---
 docs/index.org | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'docs/index.org')

diff --git a/docs/index.org b/docs/index.org
index 6ec0130..7a92650 100644
--- a/docs/index.org
+++ b/docs/index.org
@@ -1,5 +1,5 @@
-#+SETUPFILE: setup.org
-#+TITLE: VeriCert
+#+SETUPFILE: publish.setup
+#+TITLE: Vericert
 
 A formally verified high-level synthesis (HLS) tool written in Coq, building on top of [[https://github.com/AbsInt/CompCert][CompCert]].  This ensures the correctness of the C to Verilog translation according to our Verilog semantics and CompCert's C semantics, removing the need to check the resulting hardware for behavioural correctness.
 
@@ -14,5 +14,5 @@ The project is currently a work in progress, so proofs remain to be finished.  C
 
 * Content
 
-- [[./docs/toc.html][Vericert Coq Documentation]]
-- [[./building.org][Building Vericert]]
+- [[./proof/toc.html][Vericert Proof]]
+- [[./documentation.org][Vericert Documentation]]
-- 
cgit