Merge branch 'mr/fix_doc' into 'master'

Adjust location of gnatcoll version file See merge request eng/toolchain/gnatcoll-core!121
AdaCore · Jul 16, 2024 · 5ee5334 · 5ee5334
2 parents 152e156 + 24a94ab
commit 5ee5334
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/conf.py b/docs/conf.py
@@ -56,7 +56,7 @@ def get_copyright():
 
 def get_version():
     """Extract the version from configure.in"""
-    with open("../version_information") as f:
+    with open("../core/VERSION") as f:
         return f.readline().strip()