From 405d1335c618217ea35d8370770b11bd5ac249c3 Mon Sep 17 00:00:00 2001 From: "David B. Kinder" Date: Tue, 11 Dec 2018 20:38:13 -0800 Subject: [PATCH] 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 --- doc/conf.py | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/conf.py b/doc/conf.py index e03c2e2c0..13ba56798 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -189,6 +189,7 @@ else: 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/"),