commit 38787f44f4261254fd263919d8c28bfe24aaf0a4
author Keir Mierle <mierle@gmail.com> Fri May 23 00:37:22 2014 +0000
committer Keir Mierle <mierle@gmail.com> Fri May 23 00:37:22 2014 +0000
tree 8042d3c7124cbfd5d04f2a4fa4bf137b5eccaea5
parent 556027a1a0d60e372000d7bf70414842dfd61dc6

Strip breadcrumb from the documentation frontpage

Change-Id: I14a50de47e304a61b2b6bf3a9cf7cc168286ab40

scripts/make_docs.py

diff --git a/scripts/make_docs.py b/scripts/make_docs.py
index 5d5656a..f992d13 100644
--- a/scripts/make_docs.py
+++ b/scripts/make_docs.py
@@ -80,13 +80,16 @@
 # This is a nasty hack to strip the breadcrumb navigation. A better strategy is
 # to fork the upstream template, but that is no fun either. Whitespace matters!
 # This doesn't use regular expressions since the escaping makes it untenable.
-breadcrumb_start = \
+breadcrumb_start_other = \
 '''<div role="navigation" aria-label="breadcrumbs navigation">
   <ul class="wy-breadcrumbs">
     <li><a href="index.html">Docs</a> &raquo;</li>
       
     <li>'''
 
+# The index page has a slightly different breadcrumb.
+breadcrumb_start_index = breadcrumb_start_other.replace('index.html', '#')
+
 breadcrumb_end = \
 '''</li>
       <li class="wy-breadcrumbs-aside">
@@ -105,6 +108,9 @@
     out = out.replace(input_pattern, output_pattern)
 
   try:
+    breadcrumb_start = breadcrumb_start_index \
+                       if name.endswith('index.html') \
+                       else breadcrumb_start_other
     pre_breadcrumb_start, post_breadcrumb_start = out.split(breadcrumb_start)
     title, post_breadcrumb_end = post_breadcrumb_start.split(breadcrumb_end)
     print 'Stripping breadcrumb for -', title