changeset 246:73f6578e4f27

Use the "dev-" prefix instead of "dev:"
author Franz Glasner <fzglas.hg@dom66.de>
date Sat, 16 May 2026 12:30:58 +0200
parents d9e5d2bd04e2
children 76996a1e4ca7
files docs/conf.py
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/docs/conf.py	Sat May 16 02:50:59 2026 +0200
+++ b/docs/conf.py	Sat May 16 12:30:58 2026 +0200
@@ -60,7 +60,7 @@
             re.search(r"""^\s*__date__\s*=\s*(("|')[^"']*\2)""",
                       verfiledata,
                       re.MULTILINE).group(1))
-        or "dev:%s" % (current_date,)
+        or "dev-%s" % (current_date,)
     )
     release_rev = ast.literal_eval(
         re.search(r"""^\s*__revision__\s*=\s*(("|')[^"']*\2)""",
@@ -77,7 +77,7 @@
         else:
             if sys.version_info[0] >= 3:
                 release_rev = release_rev.decode("ascii")
-            release_rev = "dev:%s" % (release_rev.strip(),)
+            release_rev = "dev-%s" % (release_rev.strip(),)
         define_rest_keywords = True
     else:
         #