doc: add menu option for 0.5 docs
Add option in side-bar menu for 0.5 doc version
@@ -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/"),
