doc: add v1.0 doc menu to master

Update the /latest documents with a menu choice for the 1.0 release docs. Signed-off-by: David B. Kinder <david.b.kinder@intel.com>
2019-05-08 11:49:50 -07:00 · 2019-05-08 11:49:50 -07:00 · 38c553b397
parent 83c971221d
commit 38c553b397
1 changed files with 1 additions and 0 deletions
--- a/doc/conf.py
+++ b/doc/conf.py
@ -189,6 +189,7 @@ else:
 html_context = {
   'current_version': current_version,
   'versions': ( ("latest", "/latest/"),
+                 ("1.0", "/1.0/"),
                 ("0.8", "/0.8/"),
                 ("0.7", "/0.7/"),
                 ("0.6", "/0.6/"),