changeset 3180:46f33395ffcd docs-changes

Don't duplicate title on home page. This is a hack, but I can't see the right way to do it.
author Thomas Kluyver <takowl@gmail.com>
date Wed, 09 Jan 2013 18:04:53 +0000
parents da6aba98e710
children 1d9aaaa0f164
files docs/reST/themes/classic/elements.html
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/docs/reST/themes/classic/elements.html	Wed Jan 09 18:02:29 2013 +0000
+++ b/docs/reST/themes/classic/elements.html	Wed Jan 09 18:04:53 2013 +0000
@@ -48,7 +48,9 @@
  #}
 {%- block body %}
   <div class="sectionwrapper">
+    {%- if pagename != 'index' %}
     <h1>{{ title }}</h1>
+    {%- endif %}
 {%-   block section %}{% endblock %}
   </div>
 {%- endblock %}