python3-dev is another dependency of the Python bindings

[simgrid.git] / docs / source / _templates / breadcrumbs.html

diff --git a/docs/source/_templates/breadcrumbs.html b/docs/source/_templates/breadcrumbs.html
index 631fd76..a92391c 100644 (file)
--- a/docs/source/_templates/breadcrumbs.html
+++ b/docs/source/_templates/breadcrumbs.html
@@ -5,11 +5,8 @@
 {% block breadcrumbs_aside %}
   <li class="wy-breadcrumbs-aside">
     {% if hasdoc(pagename) and pagename != "search" and pagename != "genindex" %}
-    {# TODO: How to rule out all java pages? 
-     #    (not re.match(pagename, "java/org/simgrid"))
-     # fails because re is not imported #}
-     
+
       <a href="{{ meta['framagit_url'] }}" class="fa fa-bitbucket"> {{ _('Edit on FramaGit') }}</a>
     {% endif %}
-  </li>                  
+  </li>
 {% endblock %}