From 3c79f980b5346bc0dc1829b7c33b2ed90aeae801 Mon Sep 17 00:00:00 2001
From: "David B. Kinder" <david.b.kinder@intel.com>
Date: Wed, 20 Nov 2019 08:56:06 -0800
Subject: [PATCH] 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>
---
 doc/conf.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/conf.py b/doc/conf.py
index 0986f169a..c0904891c 100644
--- 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
                )
     }