doc: add v1.0 doc menu to master
Update the /latest documents with a menu choice for the 1.0 release
docs.
@@ -189,6 +189,7 @@ else:
html_context = {
'current_version': current_version,
'versions': ( ("latest", "/latest/"),
+ ("1.0", "/1.0/"),
("0.8", "/0.8/"),
("0.7", "/0.7/"),
("0.6", "/0.6/"),
