From 38c553b397e1c95ccddeb6bded88b1f3304be3d7 Mon Sep 17 00:00:00 2001
From: "David B. Kinder" <david.b.kinder@intel.com>
Date: Wed, 8 May 2019 11:49:50 -0700
Subject: [PATCH] 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>
---
 doc/conf.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/conf.py b/doc/conf.py
index 65e7719e8..886c80036 100644
--- 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/"),