diff --git a/docs/_includes/docs-nav.html b/docs/_includes/docs-nav.html new file mode 100644 index 0000000000..9d1d6e91f6 --- /dev/null +++ b/docs/_includes/docs-nav.html @@ -0,0 +1,61 @@ + diff --git a/docs/_includes/home-nav.html b/docs/_includes/home-nav.html new file mode 100644 index 0000000000..2f80391b88 --- /dev/null +++ b/docs/_includes/home-nav.html @@ -0,0 +1,36 @@ + diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index a4092e8f40..829c7c7a65 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -7,7 +7,7 @@ Skip to main content - {% include nav/docs.html %} + {% include docs-nav.html %}
diff --git a/docs/_layouts/home.html b/docs/_layouts/home.html index e2ab84b013..9934cb2849 100644 --- a/docs/_layouts/home.html +++ b/docs/_layouts/home.html @@ -8,7 +8,7 @@ Skip to main content - {% include nav/home.html %} + {% include home-nav.html %} {{ content }}