diff options
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 + |