Add 'docs/' from commit '106142b25c9387ffd002437027ced1b04f494205'

git-subtree-dir: docs
git-subtree-mainline: 23545aa7ea
git-subtree-split: 106142b25c

docs/_includes/custom/series_customizing.html

@@ -0,0 +1,19 @@
+<div class="seriesContext">
+    <div class="btn-group">
+        <button type="button" data-toggle="dropdown" class="btn btn-primary dropdown-toggle">Customizing PMD<span class="caret"></span></button>
+        <ol class="dropdown-menu">
+            {% assign pages = site.pages | sort:"weight"  %}
+            {% for p in pages %}
+            {% if p.series == "Customizing PMD" %}
+            {% if p.url == page.url %}
+            <li class="active"> → {{p.weight}}. {{p.short_title}}</li>
+            {% else %}
+            <li>
+                <a href="{{p.url | remove: "/"}}">{{p.weight}}. {{p.short_title}}</a>
+            </li>
+            {% endif %}
+            {% endif %}
+            {% endfor %}
+        </ol>
+    </div>
+</div>