Mercurial > hgrepos > Python > libs > pygments-lexer-pseudocode2

annotate docs/_latex/my-doc-style.sty @ 239:e3baa7e72af3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Use "Libertinus Mono" with Palatino instead of Source Code Pro
author Franz Glasner <fzglas.hg@dom66.de>
date Sat, 16 May 2026 00:23:40 +0200
parents 3777eb7dbf4a
children 76996a1e4ca7
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
213
d470250f8451 Title/metadata of PDF documentation builds:
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
1 % -*- coding: utf-8 -*-
d470250f8451 Title/metadata of PDF documentation builds:
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
2 %
d470250f8451 Title/metadata of PDF documentation builds:
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
3 % Some font hacks for my Sphinx PDF documents
d470250f8451 Title/metadata of PDF documentation builds:
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
4 %
d470250f8451 Title/metadata of PDF documentation builds:
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
5 \NeedsTeXFormat{LaTeX2e}
d470250f8451 Title/metadata of PDF documentation builds:
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
6 \ProvidesPackage{my-doc-style}[%
217
3777eb7dbf4a ***** my-doc-style.sty v0.2
Franz Glasner <fzglas.hg@dom66.de>
parents: 216
diff changeset
7 2026/05/15 v0.2 (Franz Glasner) Some style customizations (title et al.)]
216
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
8 \RequirePackage{xkeyval}
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
9
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
10 % A key compatible with options processing but bool (because DeclareBoolOptionX)
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
11 % If given than the Sphinx standard titlepage is used without changes.
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
12 \define@boolkey{my-doc-style.sty}{stdtitle}[true]{}
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
13
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
14 \ExecuteOptionsX{stdtitle=false}
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
15 \ProcessOptionsX\relax
213
d470250f8451 Title/metadata of PDF documentation builds:
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
16
d470250f8451 Title/metadata of PDF documentation builds:
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
17 %
d470250f8451 Title/metadata of PDF documentation builds:
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
18 % For the title page: "Last updated on ..."
d470250f8451 Title/metadata of PDF documentation builds:
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
19 %
d470250f8451 Title/metadata of PDF documentation builds:
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
20 \DeclareRobustCommand*\vcsrevision[1]{\gdef\mds@vcs@revision{#1}}
d470250f8451 Title/metadata of PDF documentation builds:
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
21 \DeclareRobustCommand*\builddate[1]{\gdef\mds@builddate{#1}}
d470250f8451 Title/metadata of PDF documentation builds:
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
22 \vcsrevision{}
d470250f8451 Title/metadata of PDF documentation builds:
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
23 \builddate{}
216
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
24 %
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
25 % If the option "stdtitle" was not enabled augment the titlepage with
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
26 % the documentation build date and the VCS revision id.
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
27 %
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
28 \csname ifKV@my-doc-style.sty@stdtitle\endcsname
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
29 \relax
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
30 \else
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
31 % \sphinxmaketitle calls the macro \@thanks: abuse this
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
32 \gdef\@thanks{%
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
33 \ifx\mds@builddate\@empty\relax%
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
34 \ifx\mds@vcs@revision\@empty\relax%
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
35 \else%
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
36 \hfill\normalsize\textsf{(rv:\mds@vcs@revision )}%
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
37 \fi%
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
38 \else%
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
39 \hfill\normalsize\textsf{Last updated on \mds@builddate%
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
40 \ifx\mds@vcs@revision\@empty\relax\else\enspace(rv:\mds@vcs@revision )\fi}
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
41 \fi%
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
42 }
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
43 \fi
8ef73270beae Make my-doc-style.sty more flexible by providing the "stdtitle" option to switch off the customized titlepage content
Franz Glasner <fzglas.hg@dom66.de>
parents: 213
diff changeset
44
213
d470250f8451 Title/metadata of PDF documentation builds:
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
45 \endinput