diff docs/_latex/my-doc-style.sty @ 213:d470250f8451

Title/metadata of PDF documentation builds: - make the printet "normal" date also a revision date - print an extra line with creation date and the revision number
author Franz Glasner <fzglas.hg@dom66.de>
date Fri, 15 May 2026 05:15:59 +0200
parents
children 8ef73270beae
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docs/_latex/my-doc-style.sty	Fri May 15 05:15:59 2026 +0200
@@ -0,0 +1,24 @@
+% -*- coding: utf-8 -*-
+%
+% Some font hacks for my Sphinx PDF documents
+%
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{my-doc-style}[%
+  2026/05/14 v0.1 (Franz Glasner) Some style customizations]
+
+%
+% For the title page: "Last updated on ..."
+%
+\DeclareRobustCommand*\vcsrevision[1]{\gdef\mds@vcs@revision{#1}}
+\DeclareRobustCommand*\builddate[1]{\gdef\mds@builddate{#1}}
+\vcsrevision{}
+\builddate{}
+% \sphinxmaketitle references \@thanks: abuse this
+\gdef\@thanks{%
+  \ifx\mds@builddate\@empty\relax%
+  \else%
+    \hfill\normalsize\textsf{Last updated on \mds@builddate%
+    \ifx\mds@vcs@revision\@empty\relax\else\enspace(rv:\mds@vcs@revision )\fi}
+  \fi
+}
+\endinput