Add E-ACSL implementation manual to the main download page

_fc-plugins/e-acsl.md

@@ -10,6 +10,7 @@ additional:
     link:  /download/e-acsl/e-acsl.pdf
   - name:  "E-ACSL language reference implementation manual"
     short: "Language implementation"
+    name_for_main_dl: "E-ACSL implementation"
     link:  /download/e-acsl/e-acsl-implementation.pdf
 distrib_mode: main
 ---

html/get-frama-c.html

@@ -105,6 +105,13 @@ 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>