blob: f88b3483ef15b632835e69d2ea1a1ac8199c6bd3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
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
|
