Rename devloper documentation to developer guide

We currently have 'user guide' and 'developer documentation'. Lets
rename to 'developer guide' for consistency.

Change-Id: I834ea313bc34275ef33e8c49a1689dff41892015
This commit is contained in:
Gregory Haynes 2016-10-06 14:01:18 -07:00 committed by Ian Wienand
parent 9f3bb9652a
commit 5758176a42

View File

@ -1,5 +1,5 @@
Developer Documentation Developer Guide
======================= ===============
.. toctree:: .. toctree::
:maxdepth: 1 :maxdepth: 1