From 339fa49d2ece1779f6cce77f78ca2af45f040444 Mon Sep 17 00:00:00 2001
From: "David B. Kinder" <david.b.kinder@intel.com>
Date: Thu, 10 Jan 2019 17:12:27 -0800
Subject: [PATCH] doc: add menu option for 0.5 docs

Add option in side-bar menu for 0.5 doc version

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 21c082e4a..26413cc4e 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -189,6 +189,7 @@ else:
 html_context = {
    'current_version': current_version,
    'versions': ( ("latest", "/latest/"),
+                 ("0.5", "/0.5/"),
                  ("0.4", "/0.4/"),
                  ("0.3", "/0.3/"),
                  ("0.2", "/0.2/"),