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>
This commit is contained in:
David B. Kinder 2019-03-14 08:55:14 -07:00 committed by David Kinder
parent 5e37c4638c
commit fb3e47fd1e
1 changed files with 1 additions and 0 deletions

View File

@ -189,6 +189,7 @@ else:
html_context = { html_context = {
'current_version': current_version, 'current_version': current_version,
'versions': ( ("latest", "/latest/"), 'versions': ( ("latest", "/latest/"),
("0.7", "/0.7/"),
("0.6", "/0.6/"), ("0.6", "/0.6/"),
("0.5", "/0.5/"), ("0.5", "/0.5/"),
("0.4", "/0.4/"), ("0.4", "/0.4/"),