Remove version in generated documentation

Ref. eng/recordflux/RecordFlux#1836
AdaCore · Dec 18, 2024 · 857ac27 · 857ac27
1 parent 3fb7aa8
commit 857ac27
Show file tree

Hide file tree

Showing 15 changed files with 19 additions and 23 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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">