From 87d154febd89cdea11968c5363d51e040f1df133 Mon Sep 17 00:00:00 2001
From: Matthieu Decorde <matthieu.decorde@ens-lyon.fr>
Date: Thu, 27 Aug 2020 14:43:38 +0200
Subject: [PATCH] Update index.html

---
 public/index.html | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/public/index.html b/public/index.html
index 6652c7d..fac52a4 100644
--- a/public/index.html
+++ b/public/index.html
@@ -8,15 +8,15 @@
   </head>
   <body>
     <div class="navbar">
-      <a href="https://pages.gitlab.io/plain-html/">Plain HTML Example</a>
-      <a href="https://gitlab.com/pages/plain-html/">Repository</a>
-      <a href="https://gitlab.com/pages/">Other Examples</a>
+      <a href="0.8.1">Last javadoc</a>
     </div>
 
-    <h1>Hello World!</h1>
+    <h1>Javadoc per TXM Version</h1>
 
     <p>
-      This is a simple plain-HTML website on GitLab Pages, without any fancy static site generator.
+      <ul>
+        <li><a href="0.8.1">0.8.1</a></li>
+      </ul>
     </p>
   </body>
 </html>
-- 
GitLab

