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>
This commit is contained in:
David B. Kinder 2019-11-20 08:56:06 -08:00 committed by wenlingz
parent da2abd690b
commit 3c79f980b5

View File

@ -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
)
}