doc: update doc version menu

Update the /latest/ (master) version of the docs to provide the menu
choice for the v1.1 release.

Signed-off-by: David B. Kinder <david.b.kinder@intel.com>
This commit is contained in:
David B. Kinder 2019-06-27 14:40:54 -07:00 committed by David Kinder
parent 680edd1d3c
commit 2376b3af5c

View File

@ -189,11 +189,10 @@ else:
html_context = {
'current_version': current_version,
'versions': ( ("latest", "/latest/"),
("1.1", "/1.1/"),
("1.0", "/1.0/"),
("0.8", "/0.8/"),
("0.7", "/0.7/"),
("0.6", "/0.6/"),
("0.5", "/0.5/"),
)
}