doc: add 0.4 to doc version menu

With the 0.4 release, we can now add the 0.4 doc version menu option Signed-off-by: David B. Kinder <david.b.kinder@intel.com>
projectacrn · Dec 12, 2018 · 405d133 · 405d133
1 parent 2ef0645
commit 405d133
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/conf.py b/doc/conf.py
@@ -189,6 +189,7 @@
 html_context = {
    'current_version': current_version,
    'versions': ( ("latest", "/latest/"),
+                 ("0.4", "/0.4/"),
                  ("0.3", "/0.3/"),
                  ("0.2", "/0.2/"),
                  ("0.1", "/0.1/"),