diff options
author | Norbert Preining <norbert@preining.info> | 2022-10-02 03:04:14 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2022-10-02 03:04:14 +0000 |
commit | 097f244236b682cc77c6ecf25be4150091d8daf9 (patch) | |
tree | 26998e72d2b56a87033d9fb72923258fc93ebe53 /info/mathtrip/src/Title.tex | |
parent | 4043e29dc8ac56047ac45f872a2ea1f3031b6b05 (diff) |
CTAN sync 202210020304
Diffstat (limited to 'info/mathtrip/src/Title.tex')
-rw-r--r-- | info/mathtrip/src/Title.tex | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/info/mathtrip/src/Title.tex b/info/mathtrip/src/Title.tex new file mode 100644 index 0000000000..f88b3483ef --- /dev/null +++ b/info/mathtrip/src/Title.tex @@ -0,0 +1,52 @@ +%This snt provides a title page for the document displaying +%the mathematical formulae. Its usefulness could be discussed when +%this document is printed only once in one font (however, it could +%be anyway useful to mention the name of the used font and the name of authors). +% +%It will undoubtly be more useful when the document is typeset in all possible +%font and then merged in one single document. In that case, this page is very +%handy to separe the differents documents while giving some information +%about the font. +\pagestyle{empty} +\mbox{} +\vspace{15ex plus 2ex minus 1ex} +\PackageName +\vspace{5ex plus 2ex minus 1ex} +\TitleQuote +\par +\vspace{25ex plus 5ex minus 10ex} +\begingroup + \bfseries + \centerline{\Large Few formulæ and mathematical facts}\vspace{2ex plus .5ex minus .3ex} + \centerline{\large For fun and to show the font}\vspace{2ex plus .5ex minus .3ex} + \centerline{\large ``\MainDocFontName[\PoliceDesiree]''} + \ifnum\PoliceDocument=\PoliceDesiree + \vspace{2ex plus .5ex minus .3ex} + \else + \centerline{This font was not found and is replaced by}\vspace{1.5ex plus .5ex minus .3ex} + \centerline{``\MainDocFontName[\PoliceDocumentParDefaut]''}\vspace{2ex plus .5ex minus .3ex} + \fi + \ifbool{FullTitle}{\centerline{\large A. Aubord and A. Tsolomitis, version: \Version, \today}}{} +\endgroup +\par +% +%If a font is not found and replaced by the default font, +%it is not very useful to print the document (except the title page +%giving the name of the replaced font and an explanation for +%the reason of change). +% +%In that situation, Two cases could happen: +% 1) The document should be part +% of a larger document containing examples of all the fonts, and thus +% a version of the document will be certainly already printed with the +% default font. +% 2) One want a single document to show a specific font +% but this latter one is not found. By changing a parameter +% in the '\documentclass' declaration, one can simply +% print the document with an other (hopefully existing) font. +\ifnum\PoliceDocument=\PoliceDesiree + \relax +\else + \expandafter\end{document}% +\fi + |