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>
This commit is contained in:
David B. Kinder 2019-01-10 17:12:27 -08:00 committed by Xie, nanlin
parent b61061c67b
commit 339fa49d2e

View File

@ -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/"),