diff --git a/html/get-frama-c.html b/html/get-frama-c.html
index 7e4360130df3e68798463228811dbcadd2b09c75..5de80233863f3f366c1ec56b6a4ad06edcbfdd47 100755
--- a/html/get-frama-c.html
+++ b/html/get-frama-c.html
@@ -17,7 +17,7 @@ title: Get Frama-C
             <a href="index.html#" role="button" data-tab="linux"><b>Linux</b></a> <a href="index.html#" role="button" data-tab=
             "mac"><b>Mac</b></a> <a href="index.html#" role="button" data-tab="windows"><b>Windows</b></a>
           </div>
-
+		  <a href="/html/framac-versions.html" class="previousVersion">Previous Versions</a>
           <div class="otherConfiguration">
             If you have a different configuration, <a target="_blank" href="https://github.com/Frama-C" class="lineMove">click
             here</a>