From 31f5a0a70e4a67f763a55d5e5bcca4f9bce1d7ce Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 23 Nov 2020 08:20:19 +0100
Subject: [PATCH] Improves download page
---
download/frama-c-source-dist.tar.gz | 3 +++
html/get-frama-c.html | 13 ++++---------
2 files changed, 7 insertions(+), 9 deletions(-)
create mode 100644 download/frama-c-source-dist.tar.gz
diff --git a/download/frama-c-source-dist.tar.gz b/download/frama-c-source-dist.tar.gz
new file mode 100644
index 00000000..7342d66c
--- /dev/null
+++ b/download/frama-c-source-dist.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:7056ee2a35172c0070d022945bf7a189366e38c9de20a2686ebe2435657401d7
+size 6008520
diff --git a/html/get-frama-c.html b/html/get-frama-c.html
index a886c7d9..d55f7a3d 100644
--- a/html/get-frama-c.html
+++ b/html/get-frama-c.html
@@ -77,21 +77,23 @@ opam depext --install -y frama-c</pre>
</div>
<div class="otherConfiguration">
For detailed installation instructions, <a target="_blank" href="https://git.frama-c.com/pub/frama-c/blob/master/INSTALL.md">click here</a>
- <br>Previous Frama-C versions are available <a href="/html/framac-versions.html">from this page</a>
+ <br>All Frama-C releases are available <a href="/html/framac-versions.html">from this page</a>
</div>
{% if site.fc-versions.last.beta %}
<div class="otherVersion">
The beta version of the next Frama-C release is available <a href="{{ site.fc-versions.last.url }}">here</a>
</div>
{% endif %}
- <h1 class="pageTitle">Manuals</h1>
+ <h1 class="pageTitle">Downloads</h1>
<div class="tileWrapper" size="big">
<div class="tile">
<h4 class="tileTitle"><span>Frama-C and ACSL</span></h4>
<ul>
+ <li><a href="/download/frama-c-source-dist.tar.gz">Frama-C source distribution</a></li>
<li><a href="/download/frama-c-user-manual.pdf">Frama-C user manual</a></li>
<li><a href="/download/frama-c-plugin-development-guide.pdf">Plug-in development guide</a></li>
<li><a href="/download/frama-c-acsl-implementation.pdf">ACSL implementation</a></li>
+ <li><a href="/download/e-acsl/e-acsl-implementation.pdf">E-ACSL implementation</a></li>
</ul>
</div>
<div class="tile">
@@ -106,13 +108,6 @@ opam depext --install -y frama-c</pre>
</a>
</li>
{% endif %}
- {% for add in plugin.additional %}
- {% if add.name_for_main_dl %}
- <li>
- <a href="{{ add.link }}">{{ add.name_for_main_dl }}</a>
- </li>
- {% endif %}
- {% endfor %}
{% endfor %}
</ul>
</div>
--
GitLab