From 6a892863d6e88fb4ce889007f98f2acb1a27c381 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 15 Jan 2021 21:34:41 +0000
Subject: Update website

---
 docs/publish.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'docs/publish.el')

diff --git a/docs/publish.el b/docs/publish.el
index 930023c..0d6d2da 100644
--- a/docs/publish.el
+++ b/docs/publish.el
@@ -16,14 +16,14 @@
 (defvar vericert/site-attachments nil)
 (defvar vericert/base "")
 
-(setq vericert/base "/vericert")
+(setq vericert/base "")
 
 (setq vericert/header (concat "<div id=\"left-bar\">
 <header id=\"header\" class=\"status\">
 <div class=\"logo\"><a href=\"" vericert/base "\">Vericert</a></div>
 <nav id=\"navbar\">
-<span><a href=\"" vericert/base "/documentation.html\">Documentation</a></span>
-<span><a href=\"" vericert/base "/proof/toc.html\">Proof</a></span>
+<span><a href=\"" vericert/base "/docs/\">Documentation</a></span>
+<span><a href=\"" vericert/base "/proof/\">Proof</a></span>
 </nav>
 <p>Vericert is the first formally verified high-level synthesis tool.</p>
 </header>
-- 
cgit