From f05c20aba9d9b22d1b8387a0c34dd1ae3f92d60c Mon Sep 17 00:00:00 2001
From: Adrien Guatto <adrien@guatto.org>
Date: Sun, 13 Oct 2019 12:28:33 +0200
Subject: [PATCH] web: point to gitlab repo

---
 web/index.php | 2 +-
 web/toc.php   | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/web/index.php b/web/index.php
index fc0aab4..e16753f 100644
--- a/web/index.php
+++ b/web/index.php
@@ -92,7 +92,7 @@ the OCaml Package Manager (OPAM).</p>
   </ol>
 </p>
 <p>The source code is also available from <a
-        href="http://heptagon.gforge.inria.fr">the Heptagon/BZR web page</a> for manual
+        href="https://gitlab.inria.fr/synchrone/heptagon">the Heptagon/BZR repository</a> for manual
       compilation and installation. Further indications about ReaX can
       be found on <a href="http://reatk.gforge.inria.fr">the ReaX/ReaTk
         page</a>.<br>
diff --git a/web/toc.php b/web/toc.php
index 73e9b67..10b603f 100644
--- a/web/toc.php
+++ b/web/toc.php
@@ -8,6 +8,7 @@
 
   <ul>
     <li><a href="http://heptagon.gforge.inria.fr">Main page</a></li>
+    <li><a href="https://gitlab.inria.fr/synchrone/heptagon">Source code</a></li>
     <li><a href="https://gforge.inria.fr/frs/?group_id=2773">Download</a></li>
     <li><a href="pub/heptagon-manual.pdf">Manual</a></li>
     <li><a href="bib.php">Publications</a></li>