annotate doc/manual/manual.tex @ 333:4e9d3cb9870f

- minor doc cleanups/cosmetics
author Tassilo Philipp
date Wed, 27 Nov 2019 19:55:18 +0100
parents b0cca984c740
children b47168dacba6
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
333
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
1 %//////////////////////////////////////////////////////////////////////////////
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
2 %
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
3 % Copyright (c) 2007-2019 Daniel Adler <dadler@uni-goettingen.de>,
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
4 % Tassilo Philipp <tphilipp@potion-studios.com>
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
5 %
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
6 % Permission to use, copy, modify, and distribute this software for any
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
7 % purpose with or without fee is hereby granted, provided that the above
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
8 % copyright notice and this permission notice appear in all copies.
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
9 %
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
10 % THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
11 % WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
12 % MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
13 % ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
14 % WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
15 % ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
16 % OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
17 %
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
18 %//////////////////////////////////////////////////////////////////////////////
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
19
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
20 % Set the normal line height for the entire document (some command depend on it).
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
21 \newcommand{\normallineheight}{10pt}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
22 \documentclass[\normallineheight,a4paper]{article}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
23
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
24
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
25 % Value multiplier.
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
26 \newlength\mrbraceheight
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
27 \newcommand{\tassimultiply}[2]{%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
28 \setlength{\mrbraceheight}{0pt}%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
29 \newcount\qq%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
30 \qq=1 % Subtract 1 by starting at 1 .
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
31 \loop%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
32 \addtolength\mrbraceheight{#2}%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
33 \advance\qq by 1%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
34 \ifnum\qq < #1 \repeat%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
35 }
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
36
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
37
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
38 % Conditional if tex4ht is on or not
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
39 \newcommand{\ifhtml}[1]{%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
40 \ifx\HCode\Undef \else%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
41 #1%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
42 \fi%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
43 }
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
44 \newcommand{\ifnhtml}[1]{%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
45 \ifx\HCode\Undef%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
46 #1%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
47 \fi%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
48 }
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
49 \newcommand{\casehtml}[2]{%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
50 \ifx\HCode\Undef%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
51 #2%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
52 \else%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
53 #1%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
54 \fi%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
55 }
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
56
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
57
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
58 % Packages.
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
59 \usepackage{a4wide}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
60 \usepackage{multirow}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
61 \usepackage{hhline}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
62 \usepackage{color}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
63 \usepackage{colortbl}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
64 \usepackage{bigdelim}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
65 \usepackage{rotating}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
66 \usepackage{graphicx}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
67 \usepackage{moreverb}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
68 \usepackage{listings}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
69 \usepackage{hyperref}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
70 \ifnhtml{\usepackage{watermark}}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
71
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
72
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
73 % Define own commands and style.
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
74 \newcommand{\dc}{\emph{dyncall}}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
75 \newcommand{\capi}[1]{%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
76 \noindent%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
77 {\tt #1}%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
78 }
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
79 \newcommand{\tab}{\indent}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
80
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
81 \newcommand{\shell}[1]{\noindent{\tt #1}}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
82
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
83 % Multiline table row with left or right curly brace.
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
84 %\newcommand{\mrrbrace}[2]{\tassimultiply{#1}{5pt} \multirow{#1}{*}{$\smash{\left. {\vrule height 0pt depth \mrbraceheight width 0pt}\right\}}$#2}}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
85 \newcommand{\mrrbrace}[2]{\rdelim\}{#1}{\normallineheight} \multirow{#1}{*}{#2} }
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
86 \newcommand{\mrlbrace}[2]{ \multirow{#1}{*}{#2} \ldelim\{{#1}{\normallineheight}}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
87
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
88
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
89 \newcommand{\tablewidth}{130mm}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
90 %\setlength{\oddsidemargin}{10mm}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
91 %\setlength{\textwidth}{140mm}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
92 %\setlength{\parindent}{0mm}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
93 %\setlength{\parskip}{1ex plus 0.5ex minus 0.2ex}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
94
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
95 \newcommand{\ninety}[1]{\begin{sideways}#1\end{sideways}}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
96
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
97 \renewcommand{\paragraph}[1]{%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
98 \par\vspace{12pt}%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
99 \noindent%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
100 \textbf{#1}%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
101 \par%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
102 \vspace{6pt}%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
103 }%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
104
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
105 % Set a watermark, but not when running htlatex
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
106 \ifnhtml{%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
107 \watermark{%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
108 \begingroup%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
109 \setlength{\unitlength}{1mm}%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
110 \begin{picture}(0,0)(32,300)%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
111 \includegraphics[scale=1.0]{dyncall_watermark}%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
112 \end{picture}%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
113 \endgroup%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
114 }%
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
115 }
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
116
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
117
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
118 % Use a sans-serif font.
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
119 \renewcommand{\familydefault}{\sfdefault}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
120
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
121
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
122 \definecolor{defbkgd}{gray}{1.0}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
123 \definecolor{gray1}{gray}{0.9}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
124 \definecolor{gray2}{gray}{0.8}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
125 \definecolor{gray3}{gray}{0.7}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
126 \definecolor{gray4}{gray}{0.6}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
127 \definecolor{lightgreen}{rgb}{0.0,1.0,0.0}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
128 \definecolor{darkgreen}{rgb}{0.0,0.6,0.0}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
129
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
130 % Define some column types for our colortables
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
131 \usepackage{array}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
132
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
133 \newcommand{\cellcA}{}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
134 \newcommand{\cellcB}{}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
135 \newcommand{\cellcC}{}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
136 \newcommand{\cellcD}{}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
137 \newcolumntype{1}{l}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
138 \newcolumntype{2}{l}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
139 \newcolumntype{3}{l}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
140 \newcolumntype{4}{l}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
141 \newcolumntype{5}{r}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
142 \newcolumntype{6}{r}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
143 \newcolumntype{7}{r}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
144 \newcolumntype{8}{r}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
145 \newcolumntype{A}{p{\tablewidth}}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
146 \newcolumntype{B}{p{\tablewidth}}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
147 \newcolumntype{C}{p{\tablewidth}}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
148 \newcolumntype{D}{p{\tablewidth}}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
149
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
150 % listings package related settings
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
151
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
152 \lstset{captionpos=b}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
153 \lstset{frame=tblr}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
154 \lstset{frameround=tttt}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
155 \lstset{basicstyle=\ttfamily}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
156
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
157 % text building blocks
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
158 \newcommand{\group}[1]{\textit{$<$#1$>$}}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
159 \newcommand{\sigchar}[1]{'{\tt #1}'}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
160 \newcommand{\sigstr}[1]{"{\tt #1}"}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
161 \newcommand{\cenum}[1]{#1}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
162 \newcommand{\product}[1]{\emph{#1}}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
163
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
164
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
165 % table of contents config
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
166 \setcounter{tocdepth}{3}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
167
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
168
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
169 \begin{document}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
170
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
171 % html output options (that need to come after \begin{document})..
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
172 \ifhtml{
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
173 \Configure{tableofcontents*}{chapter}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
174 }
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
175
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
176 % main document content -->
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
177 \input{manual_title}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
178 \newpage
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
179 \tableofcontents
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
180 \newpage
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
181 \ifnhtml{
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
182 \listoftables
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
183 \listoffigures
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
184 \lstlistoflistings
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
185 }
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
186 \newpage
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
187 \input{manual_motivation}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
188 \input{manual_overview}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
189 \input{manual_build}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
190 \input{manual_bindings}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
191 \input{manual_design}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
192 \input{manual_devel}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
193 \input{manual_epilog}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
194 \appendix
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
195 \addtocontents{toc}{\protect\pagebreak}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
196 \input{manual_dyncall_api}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
197 \input{manual_dyncallback_api}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
198 \input{manual_dynload_api}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
199 \input{manual_cc}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
200 \input{manual_literature}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
201 \end{document}
4e9d3cb9870f - minor doc cleanups/cosmetics
Tassilo Philipp
parents: 132
diff changeset
202