diff --git a/doc/language_reference/conf.py b/doc/language_reference/conf.py index 5b4a55cd8..4f35032b7 100644 --- a/doc/language_reference/conf.py +++ b/doc/language_reference/conf.py @@ -10,7 +10,6 @@ from sphinx.highlighting import lexers -from rflx import __version__ from tools.rflxlexer import RFLXLexer lexers["rflx"] = RFLXLexer(startinline=True) @@ -25,10 +24,9 @@ copyright = f"2023-{datetime.now().year}, AdaCore" # noqa: A001, DTZ005 author = "AdaCore" -# Ignore development versions in document creation -recordflux_version = __version__.split(".dev")[0] -version = recordflux_version -release = recordflux_version +# Omit version to prevent conflicts caused by dynamic versioning +version = " " +release = " " # -- General configuration --------------------------------------------------- diff --git a/doc/user_guide/conf.py b/doc/user_guide/conf.py index 2351d9db9..0deef661f 100644 --- a/doc/user_guide/conf.py +++ b/doc/user_guide/conf.py @@ -10,7 +10,6 @@ from sphinx.highlighting import lexers -from rflx import __version__ from tools.rflxlexer import RFLXLexer lexers["rflx"] = RFLXLexer(startinline=True) @@ -25,10 +24,9 @@ copyright = f"2023-{datetime.now().year}, AdaCore" # noqa: A001, DTZ005 author = "AdaCore" -# Ignore development versions in document creation -recordflux_version = __version__.split(".dev")[0] -version = recordflux_version -release = recordflux_version +# Omit version to prevent conflicts caused by dynamic versioning +version = " " +release = " " # -- General configuration --------------------------------------------------- diff --git a/rflx/doc/language_reference/_static/documentation_options.js b/rflx/doc/language_reference/_static/documentation_options.js index 990b6964c..462207a73 100644 --- a/rflx/doc/language_reference/_static/documentation_options.js +++ b/rflx/doc/language_reference/_static/documentation_options.js @@ -1,6 +1,6 @@ var DOCUMENTATION_OPTIONS = { URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'), - VERSION: '0.25.1', + VERSION: ' ', LANGUAGE: 'None', COLLAPSE_INDEX: false, BUILDER: 'html', diff --git a/rflx/doc/language_reference/genindex.html b/rflx/doc/language_reference/genindex.html index 428b4ed86..f0d3a47c2 100644 --- a/rflx/doc/language_reference/genindex.html +++ b/rflx/doc/language_reference/genindex.html @@ -30,7 +30,7 @@
- 0.25.1 +
diff --git a/rflx/doc/language_reference/index.html b/rflx/doc/language_reference/index.html index 07f0936ce..92c248a05 100644 --- a/rflx/doc/language_reference/index.html +++ b/rflx/doc/language_reference/index.html @@ -32,7 +32,7 @@
- 0.25.1 +
diff --git a/rflx/doc/language_reference/language_reference.html b/rflx/doc/language_reference/language_reference.html index 552f75caa..821cd0abe 100644 --- a/rflx/doc/language_reference/language_reference.html +++ b/rflx/doc/language_reference/language_reference.html @@ -32,7 +32,7 @@
- 0.25.1 +
diff --git a/rflx/doc/language_reference/search.html b/rflx/doc/language_reference/search.html index 968f6cb0a..fd61162ec 100644 --- a/rflx/doc/language_reference/search.html +++ b/rflx/doc/language_reference/search.html @@ -33,7 +33,7 @@
- 0.25.1 +
diff --git a/rflx/doc/user_guide/10-introduction.html b/rflx/doc/user_guide/10-introduction.html index a7b3e450c..459c8ffac 100644 --- a/rflx/doc/user_guide/10-introduction.html +++ b/rflx/doc/user_guide/10-introduction.html @@ -33,7 +33,7 @@
- 0.25.1 +
diff --git a/rflx/doc/user_guide/20-overview.html b/rflx/doc/user_guide/20-overview.html index e249e93a8..dcabb4dfb 100644 --- a/rflx/doc/user_guide/20-overview.html +++ b/rflx/doc/user_guide/20-overview.html @@ -33,7 +33,7 @@
- 0.25.1 +
diff --git a/rflx/doc/user_guide/90-appendix.html b/rflx/doc/user_guide/90-appendix.html index 914739bc0..b58555bfc 100644 --- a/rflx/doc/user_guide/90-appendix.html +++ b/rflx/doc/user_guide/90-appendix.html @@ -33,7 +33,7 @@
- 0.25.1 +
diff --git a/rflx/doc/user_guide/_static/documentation_options.js b/rflx/doc/user_guide/_static/documentation_options.js index 990b6964c..462207a73 100644 --- a/rflx/doc/user_guide/_static/documentation_options.js +++ b/rflx/doc/user_guide/_static/documentation_options.js @@ -1,6 +1,6 @@ var DOCUMENTATION_OPTIONS = { URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'), - VERSION: '0.25.1', + VERSION: ' ', LANGUAGE: 'None', COLLAPSE_INDEX: false, BUILDER: 'html', diff --git a/rflx/doc/user_guide/genindex.html b/rflx/doc/user_guide/genindex.html index 8162046c8..8220dc202 100644 --- a/rflx/doc/user_guide/genindex.html +++ b/rflx/doc/user_guide/genindex.html @@ -30,7 +30,7 @@
- 0.25.1 +
diff --git a/rflx/doc/user_guide/gfdl.html b/rflx/doc/user_guide/gfdl.html index dedc04fc4..a3dee232a 100644 --- a/rflx/doc/user_guide/gfdl.html +++ b/rflx/doc/user_guide/gfdl.html @@ -32,7 +32,7 @@
- 0.25.1 +
diff --git a/rflx/doc/user_guide/index.html b/rflx/doc/user_guide/index.html index 5443b2ddb..f1d855258 100644 --- a/rflx/doc/user_guide/index.html +++ b/rflx/doc/user_guide/index.html @@ -32,7 +32,7 @@
- 0.25.1 +
diff --git a/rflx/doc/user_guide/search.html b/rflx/doc/user_guide/search.html index 69f948c3a..64f58806a 100644 --- a/rflx/doc/user_guide/search.html +++ b/rflx/doc/user_guide/search.html @@ -33,7 +33,7 @@
- 0.25.1 +