Hide pages created by redirect-from plugin (fixes #5)

mgeisler · mgeisler · commit e04af74473e7 · 2014-08-04T11:16:37.000+02:00
diff --git a/_includes/header.html b/_includes/header.html
@@ -12,11 +12,15 @@ <h1 class="logo"><a href="/">ZeroVM</a></h1>
       <ul class="clearfix">
         {% assign sorted_pages = site.pages | where: 'layout', 'sub-page' | sort: 'order' %}
         {% for p in sorted_pages %}
+          <!-- The redirect-from plugin creates title-less pages that
+               we want to exclude -->
+          {% if p.title != nil %}
           <li>
             <a href="{{ p.url }}" class="{% if p.url == page.url %} active {% endif %}">
               {{ p.title }}
             </a>
           </li>
+          {% endif %}
         {% endfor %}
         <li><a href="http://docs.zerovm.org">Documentation</a></li>
         <li><a href="http://blog.zerovm.org">Blog</a></li>
