%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  Copyright (C) 2010-2012  Pietro Abate <pietro.abate@pps.jussieu.fr>   %
%                           Ralf Treinen <ralf.treinen@pps.jussieu.fr>   %
%                           Unversité Paris-Diderot                      %
%                                                                        %
%  This documentation is free software: you can redistribute it and/or   %
%  modify it under the terms of the GNU General Public License as        %
%  published by the Free Software Foundation, either version 3 of the    %
%  License, or (at your option) any later version.                       %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{hevea}
\usepackage{alltt}

\newcommand{\debcheck}{dose-debcheck}
\newcommand{\distcheck}{dose-distcheck}

\input{version}

\newenvironment{example}%
  {\par\begin{divstyle}{example}\par\textbf{Example:}}%
  {\end{divstyle}\par}
\newstyle{.example}{border:solid black;background:\#eeddbb;padding:lex}

\title{The Dose-Debcheck Primer}
\author{Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli}
\date{\today}

\begin{document}

\maketitle

The \debcheck{} tool determines, for a set of package control stanzas,
called \emph{the repository}, whether packages of the repository can
be installed relative to the repository. Typically, the repository is
a \texttt{Packages} file of a Debian suite. The installability check
is by default performed for all package stanzas in the repository, but
may be also be restricted to a subset of these.

This primer applies to version \version{} of \debcheck. 

\tableofcontents

\input{data}
\input{installability}
\input{invocation}
\input{output}
\input{exit}
\input{tricks}
\input{credits}
\input{reading}
\input{copyright}

\bibliographystyle{alpha}
\bibliography{mancoosi}

\end{document}
