annotate doc/manual/manual.tex @ 72:2b89d8497aad

- html manual work
author cslag
date Sun, 13 Mar 2016 21:08:59 +0100
parents 3e629dc19168
children 8326c5ced916
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 }
72
2b89d8497aad - html manual work
cslag
parents: 0
diff changeset
49 \newcommand{\casehtml}[2]{%
2b89d8497aad - html manual work
cslag
parents: 0
diff changeset
50 \ifx\HCode\Undef%
2b89d8497aad - html manual work
cslag
parents: 0
diff changeset
51 #2%
2b89d8497aad - html manual work
cslag
parents: 0
diff changeset
52 \else%
2b89d8497aad - html manual work
cslag
parents: 0
diff changeset
53 #1%
2b89d8497aad - html manual work
cslag
parents: 0
diff changeset
54 \fi%
2b89d8497aad - html manual work
cslag
parents: 0
diff changeset
55 }
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
56
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
57
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
58 % Packages.
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
59 \usepackage{a4wide}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
60 \usepackage{multirow}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
61 \usepackage{hhline}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
62 \usepackage{color}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
63 \usepackage{colortbl}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
64 \usepackage{bigdelim}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
65 \usepackage{rotating}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
66 \usepackage{graphicx}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
67 \usepackage{moreverb}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
68 \usepackage{listings}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
69 \usepackage{hyperref}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
70 \ifnhtml{\usepackage{watermark}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
71
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
72
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
73 % Define own commands and style.
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
74 \newcommand{\dc}{\emph{dyncall}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
75 \newcommand{\capi}[1]{%
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
76 \noindent%
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
77 {\tt #1}%
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
78 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
79 \newcommand{\tab}{\indent}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
80
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
81 \newcommand{\shell}[1]{\noindent{\tt #1}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
82
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
83 % Multiline table row with left or right curly brace.
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
84 %\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
85 \newcommand{\mrrbrace}[2]{\rdelim\}{#1}{\normallineheight} \multirow{#1}{*}{#2} }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
86 \newcommand{\mrlbrace}[2]{ \multirow{#1}{*}{#2} \ldelim\{{#1}{\normallineheight}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
87
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
88
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
89 \newcommand{\tablewidth}{130mm}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
90 %\setlength{\oddsidemargin}{10mm}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
91 %\setlength{\textwidth}{140mm}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
92 %\setlength{\parindent}{0mm}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
93 %\setlength{\parskip}{1ex plus 0.5ex minus 0.2ex}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
94
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
95 \newcommand{\ninetyb}{\begin{sideways}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
96 \newcommand{\ninetye}{\end{sideways}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
97
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
98 \renewcommand{\paragraph}[1]{%
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
99 \par\vspace{12pt}%
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
100 \noindent%
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
101 {\bf#1}%
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
102 \par%
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
103 \vspace{6pt}%
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
104 }%
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
105
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
106 % Set a watermark, but not when running htlatex
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
107 \ifnhtml{%
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
108 \watermark{%
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
109 \begingroup%
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
110 \setlength{\unitlength}{1mm}%
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
111 \begin{picture}(0,0)(32,300)%
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
112 \includegraphics[scale=1.0]{dyncall_watermark}%
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
113 \end{picture}%
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
114 \endgroup%
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
115 }%
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
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
119 % Use a sans-serif font.
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
120 \renewcommand{\familydefault}{\sfdefault}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
121
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
122
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
123 \definecolor{defbkgd}{gray}{1.0}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
124 \definecolor{gray1}{gray}{0.9}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
125 \definecolor{gray2}{gray}{0.8}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
126 \definecolor{gray3}{gray}{0.7}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
127 \definecolor{gray4}{gray}{0.6}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
128 \definecolor{lightgreen}{rgb}{0.0,1.0,0.0}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
129 \definecolor{darkgreen}{rgb}{0.0,0.6,0.0}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
130
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
131 % Define some column types for our colortables
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
132 \usepackage{array}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
133
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
134 \newcommand{\cellcA}{}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
135 \newcommand{\cellcB}{}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
136 \newcommand{\cellcC}{}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
137 \newcommand{\cellcD}{}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
138 \newcolumntype{1}{l}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
139 \newcolumntype{2}{l}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
140 \newcolumntype{3}{l}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
141 \newcolumntype{4}{l}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
142 \newcolumntype{5}{r}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
143 \newcolumntype{6}{r}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
144 \newcolumntype{7}{r}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
145 \newcolumntype{8}{r}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
146 \newcolumntype{A}{p{\tablewidth}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
147 \newcolumntype{B}{p{\tablewidth}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
148 \newcolumntype{C}{p{\tablewidth}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
149 \newcolumntype{D}{p{\tablewidth}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
150
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
151 % listings package related settings
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
152
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
153 \lstset{captionpos=b}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
154 \lstset{frame=tblr}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
155 \lstset{frameround=tttt}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
156 \lstset{basicstyle=\ttfamily}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
157
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
158 % text building blocks
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
159 \newcommand{\group}[1]{{\it$<$#1$>$}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
160 \newcommand{\sigchar}[1]{'{\tt #1}'}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
161 \newcommand{\sigstr}[1]{"{\tt #1}"}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
162 \newcommand{\cenum}[1]{#1}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
163 \newcommand{\product}[1]{\emph{#1}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
164
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
165 % colors used to signalize undefined, not used, supported, etc. states.
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
166 \newcommand{\marknull}{\cellcolor{white}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
167 \newcommand{\markcmpl}{\cellcolor{lightgreen}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
168 \newcommand{\markimpl}{\cellcolor{darkgreen}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
169 \newcommand{\marknimp}{\cellcolor{red}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
170 \newcommand{\markunkn}{\cellcolor{yellow}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
171 \newcommand{\marknotx}{\cellcolor{gray1}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
172
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
173
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
174 % table of contents config
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
175 \setcounter{tocdepth}{3}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
176
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
177
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
178 \begin{document}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
179
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
180 % html output options (that need to come after \begin{document})..
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
181 \ifhtml{
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
182 \Configure{tableofcontents*}{chapter}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
183 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
184
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
185 % main document content -->
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
186 \input{manual_title}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
187 \newpage
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
188 \tableofcontents
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
189 \newpage
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
190 \ifnhtml{
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
191 \listoftables
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
192 \listoffigures
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
193 \lstlistoflistings
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
194 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
195 \newpage
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
196 \input{manual_motivation}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
197 \input{manual_overview}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
198 \input{manual_build}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
199 \input{manual_bindings}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
200 \input{manual_design}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
201 \input{manual_devel}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
202 \input{manual_epilog}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
203 \appendix
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
204 \addtocontents{toc}{\protect\pagebreak}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
205 \input{manual_dyncall_api}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
206 \input{manual_dyncallback_api}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
207 \input{manual_dynload_api}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
208 \input{manual_cc}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
209 \input{manual_literature}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
210 \end{document}