diff --git a/docs/conf.py b/docs/conf.py index 255c43b051..bc714dc92b 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -78,9 +78,9 @@ # link here as well: version = version + """
Version select: """ # -- General configuration ---------------------------------------------------