diff --git a/_includes/header.html b/_includes/header.html index 3362df43..aea5ba3f 100644 --- a/_includes/header.html +++ b/_includes/header.html @@ -1,30 +1,35 @@ + {% assign default_paths = site.pages | map: "path" %} + {% assign page_paths = site.header_pages | default: default_paths %} + {{ site.title | escape }} + + {% if page_paths %} + + + + + + + + + + + - {{ site.title | escape }} - - - - - - - - - - - - Docs - Examples - Software - {% for my_page in site.pages %} - {% if my_page.menutitle %} - {{ my_page.menutitle | escape }} - {% endif %} - {% endfor %} - - - + + Docs + Examples + Software + {% for path in page_paths %} + {% assign my_page = site.pages | where: "path", path | first %} + {% if my_page.menutitle %} + {{ my_page.menutitle | escape }} + {% endif %} + {% endfor %} + + + {% endif %} -