[Doc] plugin doc can be as html

_fc-plugins/farith.md

@@ -6,8 +6,7 @@ description:
 key: main
 distrib_mode: main
 priority: 0
-manual_pdf: /download/farith-manual.pdf
-manual_html: /html/doc/farith/coq/index.html
+manual_html: /html/doc/farith/doc/F.All.html
 ---
 
 ## Farith

html/get-frama-c.html

@@ -96,6 +96,13 @@ opam depext --install -y colibri2</pre>
                   </a>
                 </li>
                 {% endif %}
+                {% if plugin.manual_html %}
+                <li>
+                  <a href="{{ plugin.manual_html }}">
+                    {% if plugin.short %}{{ plugin.short }}{% else %}{{ plugin.title }}{% endif %} manual
+                  </a>
+                </li>
+                {% endif %}
               {% endfor %}
               </ul>
             </div>