diff --git a/src/docs-1.x/VERSION b/src/docs-1.x/VERSION new file mode 100644 index 0000000000..7ee7020b38 --- /dev/null +++ b/src/docs-1.x/VERSION @@ -0,0 +1 @@ +1.0.10 diff --git a/src/docs-1.x/conf.py b/src/docs-1.x/conf.py index af0003fb73..9d607b0b5a 100644 --- a/src/docs-1.x/conf.py +++ b/src/docs-1.x/conf.py @@ -20,8 +20,8 @@ sys.path.insert(0, os.path.abspath("..")) repo_version = "unknown" # Determine short version by file in repo -if os.path.isfile("../../VERSION"): - with open("../../VERSION") as f: +if os.path.isfile("./VERSION"): + with open("./VERSION") as f: repo_version = f.readline().strip()