Merge branch 'doc-pdg-slicing-french' into 'master'

add French documentation for Slicing and PDG

See merge request !83

_fc-plugins/slicing.md

@@ -3,6 +3,13 @@ layout: plugin
 title: Slicing
 description: Slices the code according to user-provided criteria.
 key: code
+additional:
+  - name:  "Documentation"
+    link:  /download/frama-c-slicing-documentation-french.pdf
+    lang:  FR
+  - name:  "PDG Documentation"
+    link:  /download/frama-c-pdg-documentation-french.pdf
+    lang:  FR
 distrib_mode: main
 ---
 
@@ -93,3 +100,13 @@ following options:
 
 This plug-in uses the results of the [Eva](eva.html) plug-in and of the
 function dependencies computation (documented with Eva).
+
+## Further Reading
+
+- The **Slicing** plug-in has some
+  [documentation (in French only)](/download/frama-c-slicing-documentation-french.pdf)
+  based on a technical report, but no user manual _per se_.
+- The **Slicing** plug-in is based on another plug-in, **PDG**
+  (for *Program Dependence Graph). It also has some
+  [documentation (in French only)](/download/frama-c-pdg-documentation-french.pdf)
+  based on a technical report.

html/documentation.html

@@ -79,7 +79,10 @@ title: Documentation - Frama-C
                 <li><a href="{{plugin.manual_pdf}}">User manual</a></li>
                 {% endif %}
                 {% for add in plugin.additional %}
-                <li><a href="{{add.link}}">{% if add.short %}{{add.short}}{% else %}{{add.name}}{% endif %}</a></li>
+                <li><a href="{{add.link}}">
+                  {% if add.lang == "FR" %}<img src="/assets/img/icons/france-flag-waving-icon-16.png" alt="In French">{% endif %}
+                  {% if add.short %}{{add.short}}{% else %}{{add.name}}{% endif %}
+                </a></li>
                 {% endfor %}
                 {% if plugin.repo_url %}
                 <li><a href="{{plugin.repo_url}}">External repository</a></li>