From 5758176a4237c91aa60503175d8aebd8749f7c83 Mon Sep 17 00:00:00 2001
From: Gregory Haynes <greg@greghaynes.net>
Date: Thu, 6 Oct 2016 14:01:18 -0700
Subject: [PATCH] Rename devloper documentation to developer guide
We currently have 'user guide' and 'developer documentation'. Lets
rename to 'developer guide' for consistency.
Change-Id: I834ea313bc34275ef33e8c49a1689dff41892015
---
doc/source/developer/index.rst | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/source/developer/index.rst b/doc/source/developer/index.rst
index 4988baada..cc063806b 100644
--- a/doc/source/developer/index.rst
+++ b/doc/source/developer/index.rst
@@ -1,5 +1,5 @@
-Developer Documentation
-=======================
+Developer Guide
+===============
.. toctree::
:maxdepth: 1