Commit 47d462b5 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Merge branch 'features-plugins-and-downloads' into 'master'

Improves download and plugins pages

See merge request pub.frama-c.com!95
parents 41440d47 8885bd94
- name: included in main Frama-C distribution
- name: Included in main Frama-C distribution
key: main
- name: distributed separately under open-source licence
- name: Distributed separately under open-source licence
key: free
- name: proprietary, contact us for more information
- name: Proprietary, contact us for more information
key: proprietary
- name: early prototype, contact us for more information
- name: Early prototype, contact us for more information
key: proto
- name: old plug-in, not necessarily compatible with recent Frama-C versions
- name: Old plug-in, not necessarily compatible with recent Frama-C versions
key: obsolete
......@@ -22,9 +22,14 @@ css: plugin
<div class="pagePlugin pages">
<div class="wrap">
<h1 class="subTitle">{{ page.title }}</h2>
<h1 class="subTitle">{{ page.title }}</h1>
<aside>
<p class="description">
{% for distrib in site.data.plugins_distrib_mode %}
{% if distrib.key == page.distrib_mode %}
<i>{{distrib.name}}</i><br>
{% endif %}
{% endfor %}
{{ page.description }}
</p>
</aside>
......
......@@ -77,18 +77,19 @@ 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>
......@@ -106,13 +107,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>
......
......@@ -21,7 +21,7 @@ active: "kernel-plugin"
<a role="link" href="{{ plugin.url }}" class="tile">
<h4 class="tileTitle"><span>{% if plugin.short %}{{ plugin.short }}{% else %}{{ plugin.title }}{% endif %}</span></h4>
<p>{{ plugin.description }}</p>
<p>{{ distrib.name }}</p>
<p><i>{{ distrib.name }}</i></p>
</a>
{% endif %}
{% endfor %}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment