Mercurial > hgrepos > Python > libs > pygments-lexer-pseudocode2
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
