diff --git a/_fc-plugins/e-acsl.md b/_fc-plugins/e-acsl.md
index 57062c5beade9c907c7a609447897f4d4b1a9aa0..1621f5eaa9fb9e7c0e94cda8400b8cca51b0f73a 100644
--- a/_fc-plugins/e-acsl.md
+++ b/_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
 ---
diff --git a/html/get-frama-c.html b/html/get-frama-c.html
index 62afa2f65a79fc4138e4d393a6f1f5736e9ae640..b387b809c9d4db4c69ae6bcf2cdbfc9819bce06f 100644
--- a/html/get-frama-c.html
+++ b/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>