From fb3e47fd1ec614cef7fae1bff69296d85a7903b7 Mon Sep 17 00:00:00 2001
From: "David B. Kinder" <david.b.kinder@intel.com>
Date: Thu, 14 Mar 2019 08:55:14 -0700
Subject: [PATCH] doc: add v0.7 version to master branch (/latest)

With the 0.7 release published, we can add the v0.7 doc menu choice.

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 1af39cab4..7c44cfb35 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -189,6 +189,7 @@ else:
 html_context = {
    'current_version': current_version,
    'versions': ( ("latest", "/latest/"),
+                 ("0.7", "/0.7/"),
                  ("0.6", "/0.6/"),
                  ("0.5", "/0.5/"),
                  ("0.4", "/0.4/"),