Fix some missing doc links in doc index

Gbury · Apr 30, 2021 · 004ddbd · 004ddbd
1 parent 12b1205
commit 004ddbd
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/doc/scripts/index.html b/doc/scripts/index.html
@@ -764,6 +764,11 @@ <h1>Dolmen</h1>
 </li>
 <li>
 <p>
+<a href="0.5">0.5</a>
+</p>
+</li>
+<li>
+<p>
 <a href="0.6">0.6</a>
 </p>
 </li>
@@ -775,7 +780,7 @@ <h1>Dolmen</h1>
 <div id="footer">
 <div id="footer-text">
 Last updated
- 2021-04-30 14:57:29 CEST
+ 2021-04-30 15:03:59 CEST
 </div>
 </div>
 </body>

diff --git a/doc/scripts/index.txt b/doc/scripts/index.txt
@@ -7,5 +7,6 @@ Guillaume Bury <guillaume.bury@gmail.com>
 * link:0.1[]
 * link:0.2[]
 * link:0.4[]
+* link:0.5[]
 * link:0.6[]