doc: put v1.0 docs back in version menu

We've been keeping the doc version choice list trimmed as new doc version releases are made, but the v1.0 version should remain. (Note that the documents for all previously published versions are still available on the server, but they were included in the menu choice). This PR puts the 1.0 choice back in. Signed-off-by: David B. Kinder <david.b.kinder@intel.com>
2019-11-20 08:56:06 -08:00 · 2019-11-20 08:56:06 -08:00 · 28e24c4198
parent b332bf84b8
commit 28e24c4198
1 changed files with 1 additions and 0 deletions
--- a/doc/conf.py
+++ b/doc/conf.py
@ -190,6 +190,7 @@ html_context = {
                 ("1.3", "/1.3/"),
                 ("1.2", "/1.2/"),
                 ("1.1", "/1.1/"),
+                 ("1.0", "/1.0/"),   # keep 1.0
               )
    }