From 168d37d12f65792328fc3fc6fe763c7fe02e6747 Mon Sep 17 00:00:00 2001
From: "David B. Kinder" <david.b.kinder@intel.com>
Date: Wed, 25 Sep 2019 14:02:09 -0700
Subject: [PATCH] doc: add 1.3 to version menu

Update the version menu to include the 1.3 docs (and remove the 0.8)

Signed-off-by: David B. Kinder <david.b.kinder@intel.com>
---
 doc/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/conf.py b/doc/conf.py
index c3885b2ba..c5c95b6cc 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -189,10 +189,10 @@ else:
 html_context = {
    'current_version': current_version,
    'versions': ( ("latest", "/latest/"),
+                 ("1.3", "/1.3/"),
                  ("1.2", "/1.2/"),
                  ("1.1", "/1.1/"),
                  ("1.0", "/1.0/"),
-                 ("0.8", "/0.8/"),
                )
     }