From 857ac277e2c41a28f86efc23c0c5c47f2f3dce56 Mon Sep 17 00:00:00 2001
From: Tobias Reiher <reiher@adacore.com>
Date: Wed, 18 Dec 2024 18:38:05 +0100
Subject: [PATCH] Remove version in generated documentation

Ref. eng/recordflux/RecordFlux#1836
---
 doc/language_reference/conf.py                            | 8 +++-----
 doc/user_guide/conf.py                                    | 8 +++-----
 .../language_reference/_static/documentation_options.js   | 2 +-
 rflx/doc/language_reference/genindex.html                 | 2 +-
 rflx/doc/language_reference/index.html                    | 2 +-
 rflx/doc/language_reference/language_reference.html       | 2 +-
 rflx/doc/language_reference/search.html                   | 2 +-
 rflx/doc/user_guide/10-introduction.html                  | 2 +-
 rflx/doc/user_guide/20-overview.html                      | 2 +-
 rflx/doc/user_guide/90-appendix.html                      | 2 +-
 rflx/doc/user_guide/_static/documentation_options.js      | 2 +-
 rflx/doc/user_guide/genindex.html                         | 2 +-
 rflx/doc/user_guide/gfdl.html                             | 2 +-
 rflx/doc/user_guide/index.html                            | 2 +-
 rflx/doc/user_guide/search.html                           | 2 +-
 15 files changed, 19 insertions(+), 23 deletions(-)

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 @@
             <img src="_static/adacore-logo-white.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.25.1
+                 
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
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 @@
             <img src="_static/adacore-logo-white.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.25.1
+                 
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
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 @@
             <img src="_static/adacore-logo-white.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.25.1
+                 
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
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 @@
             <img src="_static/adacore-logo-white.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.25.1
+                 
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="#" method="get">
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 @@
             <img src="_static/adacore-logo-white.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.25.1
+                 
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
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 @@
             <img src="_static/adacore-logo-white.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.25.1
+                 
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
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 @@
             <img src="_static/adacore-logo-white.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.25.1
+                 
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
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 @@
             <img src="_static/adacore-logo-white.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.25.1
+                 
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
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 @@
             <img src="_static/adacore-logo-white.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.25.1
+                 
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
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 @@
             <img src="_static/adacore-logo-white.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.25.1
+                 
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
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 @@
             <img src="_static/adacore-logo-white.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.25.1
+                 
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="#" method="get">