changeset 247:76996a1e4ca7

Use "rev " instead of "rv:" in the revision footer
author Franz Glasner <fzglas.hg@dom66.de>
date Sat, 16 May 2026 12:31:26 +0200
parents 73f6578e4f27
children d76f090d991f
files docs/_latex/my-doc-style.sty docs/conf.py
diffstat 2 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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
--- 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"