# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1778927458 -7200
# Node ID 73f6578e4f279902f1b9ad4056ca6bbf3528e08b
# Parent  d9e5d2bd04e2eb67dfdd29f8fe09c519a1b9cb7e
Use the "dev-" prefix instead of "dev:"

diff -r d9e5d2bd04e2 -r 73f6578e4f27 docs/conf.py
--- 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:
         #