guide.tex

% $Id$
\documentclass[a4paper,twoside,11pt]{article}
\usepackage[left=2.6cm,right=5.5cm,heightrounded,marginparwidth=4.3cm,marginparsep=.4cm]{geometry}
\usepackage{mparhack} % needed to always have the marginpars on the right side
\usepackage[utf8]{inputenc}
\usepackage{amsthm,amssymb,amsmath}
\usepackage{helvet,times,courier}
\usepackage{listings}
\usepackage[dvipsnames]{xcolor}
\usepackage[pdfborder={0 0 0},pagebackref=true]{hyperref}
%\usepackage{comments}
\usepackage{pict2e}
\usepackage{tikz}
\usetikzlibrary{arrows,chains,positioning,automata,decorations,shapes}
\usepackage[color=1 0 0]{attachfile}
\usepackage{fancyvrb}
\usepackage{fancyhdr}
\usepackage{rail}
\usepackage{textcomp}
\usepackage{mathabx}
\usepackage{makeidx}
\usepackage{enumitem}
\input{macro}
\makeindex

\begin{document}
\pagestyle{plain}
\input{frontpage}
\newpage
\pagestyle{fancy}
\tableofcontents
\listoffigures
\lstlistoflistings

\include{introduction}
\include{quickstart}
\include{language}
\include{multi}
\include{theory}
\include{examples}
\include{options}
\include{errors}
\include{meta}
\include{heuristic}
\include{prefopt}
\include{configuration}
\include{future}
\newpage
\appendix
\include{resources}
% \include{lparse}
\include{gringo3}
% \include{iclingo}
\newpage
\phantomsection
\addcontentsline{toc}{section}{References}
\bibliographystyle{plain}
\bibliography{guide} % \bibliography{lit,akku,procs,misc} && bibexport -o guide.bib guide.aux
\newpage
\phantomsection
\addcontentsline{toc}{section}{Index}
% Note: unfortunately printindex uses pagestyle){plain} for first page
\fancypagestyle{plain}{\pagestyle{fancy}}
\printindex
\end{document}

%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End: