From 0f17f9279b0f62bfcc62c2d32b575c33e666c2d3 Mon Sep 17 00:00:00 2001
From: Joel Marcey <joelm@fb.com>
Date: Mon, 7 Nov 2016 17:03:19 -0800
Subject: [PATCH] Make the header links a bit more flexible

---
 docs/_data/nav.yml      | 11 +++++++----
 docs/_includes/nav.html |  6 +++++-
 2 files changed, 12 insertions(+), 5 deletions(-)

diff --git a/docs/_data/nav.yml b/docs/_data/nav.yml
index 71a3b6e6c..108de0254 100644
--- a/docs/_data/nav.yml
+++ b/docs/_data/nav.yml
@@ -4,15 +4,15 @@
 
 - title: GitHub
   href: https://github.com/facebook/rocksdb/
-  category: github
+  category: external
 
 - title: API (C++)
   href: https://github.com/facebook/rocksdb/tree/master/include/rocksdb
-  category: api
+  category: external
 
 - title: API (Java)
   href: https://github.com/facebook/rocksdb/tree/master/java/src/main/java/org/rocksdb
-  category: api
+  category: external
 
 - title: Support
   href: /support.html
@@ -24,4 +24,7 @@
 
 - title: Facebook
   href: https://www.facebook.com/groups/rocksdb.dev/
-  category: facebook
+  category: external
+
+# Use external for external links not associated with the paths of the current site.
+# If a category is external, site urls, for example, are not prepended to the href, etc..
diff --git a/docs/_includes/nav.html b/docs/_includes/nav.html
index e62a45366..4481aca24 100644
--- a/docs/_includes/nav.html
+++ b/docs/_includes/nav.html
@@ -11,7 +11,11 @@
           <ul>
             {% for item in site.data.nav %}
             <li class="navItem{% if page.collection == item.category or page.category == item.category %} navItemActive{% endif %}">
-              <a href="{{ item.href }}">{{ item.title }}</a>
+              {% if item.category == "external" %}
+                <a href="{{ item.href }}">{{ item.title }}</a>
+              {% else %}
+                <a href="{{ item.href | relative_url }}">{{ item.title }}</a>
+              {% endif %}
             </li>
             {% endfor %}
             {% if site.searchconfig %}