From 5940431e2d2625481d71599ecd7133465ef4d6be Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Fri, 3 Jun 2016 06:23:49 -0700 Subject: [PATCH] Don't exclude the current version from dropdown menu --- doc/build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/build.py b/doc/build.py index d3da88f4..9edc96ff 100755 --- a/doc/build.py +++ b/doc/build.py @@ -92,7 +92,7 @@ def build_docs(version='dev', **kwargs): if p.returncode != 0: raise CalledProcessError(p.returncode, cmd) html_dir = os.path.join(work_dir, 'html') - versions = [v for v in ['3.0.0', '2.0.0', '1.1.0'] if v != version] + versions = ['3.0.0', '2.0.0', '1.1.0'] check_call(['sphinx-build', '-Dbreathe_projects.format=' + os.path.abspath(doxyxml_dir), '-Dversion=' + version, '-Drelease=' + version,