diff --git a/doc/source/_static/docversions.js b/doc/source/_static/docversions.js index 5570c4ef..a2c8cea6 100644 --- a/doc/source/_static/docversions.js +++ b/doc/source/_static/docversions.js @@ -4,7 +4,12 @@ function insert_version_links() { document.write('