# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1778927486 -7200
# Node ID 76996a1e4ca7ac0172aaccf999783936a8ad9f14
# Parent  73f6578e4f279902f1b9ad4056ca6bbf3528e08b
Use "rev " instead of "rv:" in the revision footer

diff -r 73f6578e4f27 -r 76996a1e4ca7 docs/_latex/my-doc-style.sty
--- a/docs/_latex/my-doc-style.sty	Sat May 16 12:30:58 2026 +0200
+++ b/docs/_latex/my-doc-style.sty	Sat May 16 12:31:26 2026 +0200
@@ -33,11 +33,11 @@
     \ifx\mds@builddate\@empty\relax%
       \ifx\mds@vcs@revision\@empty\relax%
       \else%
-        \hfill\normalsize\textsf{(rv:\mds@vcs@revision )}%
+        \hfill\normalsize\textsf{(rev\ \mds@vcs@revision )}%
       \fi%
     \else%
       \hfill\normalsize\textsf{Last updated on \mds@builddate%
-      \ifx\mds@vcs@revision\@empty\relax\else\enspace(rv:\mds@vcs@revision )\fi}
+      \ifx\mds@vcs@revision\@empty\relax\else\enspace(rev\ \mds@vcs@revision )\fi}
     \fi%
   }
 \fi
diff -r 73f6578e4f27 -r 76996a1e4ca7 docs/conf.py
--- a/docs/conf.py	Sat May 16 12:30:58 2026 +0200
+++ b/docs/conf.py	Sat May 16 12:31:26 2026 +0200
@@ -136,7 +136,7 @@
 html_css_files = ["custom-haiku.css"]
 html_title = 'The %s v%s' % (project, release)
 html_short_title = html_title
-html_last_updated_fmt = "%s (rv:%s)" % (current_date, release_rev)
+html_last_updated_fmt = "%s (rev %s)" % (current_date, release_rev)
 #pygments_style = "sphinx"
 pygments_style = "default"