summaryrefslogtreecommitdiff
path: root/info/mathtrip/src/Title.tex
diff options
context:
space:
mode:
Diffstat (limited to 'info/mathtrip/src/Title.tex')
-rw-r--r--info/mathtrip/src/Title.tex52
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
+