diff --git a/tool/tree-nav.html b/tool/tree-nav.html index d038d3e362..9a43990dc1 100644 --- a/tool/tree-nav.html +++ b/tool/tree-nav.html @@ -15,12 +15,17 @@ {% if "//" in pg.html %} {{ pg.name }}{% if pg.status is defined %} {% include 'template-status_'+pg.status+'.html' %}{% endif %} {% else %} - {{ pg.name }}{% if pg.status is defined %} {% include 'template-status_'+pg.status+'.html' %}{% endif %} + {{ pg.name }}{% if pg.status is defined %} {% include 'template-status_'+pg.status+'.html' %}{% endif %} {% endif %} {% else %} - {{ pg.name }}{% if pg.status is defined %} {% include 'template-status_'~pg.status~'.html' %}{% endif %} + + {% if "//" in pg.html %} + {{ pg.name }}{% if pg.status is defined %} {% include 'template-status_'+pg.status+'.html' %}{% endif %} + {% else %} + {{ pg.name }}{% if pg.status is defined %} {% include 'template-status_'+pg.status+'.html' %}{% endif %} + {% endif %}