annotate doc/manual/manual.tex @ 0:3e629dc19168

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