\documentclass{report}

%******************************************************************************
% Prelude
%******************************************************************************
%------------------------------------------------------------------------------
% Packages
%------------------------------------------------------------------------------

\usepackage{ifthen}
\usepackage{hevea}

\usepackage{times}
\usepackage{fullpage}

\usepackage[T1]{fontenc}

\usepackage{amsmath}
\usepackage{amssymb}

% fancy symbol, but require latex-extra-fonts (huge) package
\usepackage[geometry]{ifsym}



\usepackage{graphics}
\usepackage[pdftex]{graphicx}


\usepackage{epsfig}
\usepackage{subfigure}
\usepackage{wrapfig}

\usepackage[all]{xy}


\usepackage{fancyvrb}
\usepackage{moreverb}
\usepackage{alltt}

\usepackage{boxedminipage}

\usepackage{xspace}
\usepackage{endnotes}

\usepackage{multirow}
%\usepackage{colortbl} % conflict with color package below

\usepackage{listings}
%\usepackage{code/lgrind}

\usepackage[pdfborder={0 0 0}]{hyperref}
%\usepackage{url}

\usepackage[usenames,dvipsnames]{color}

%------------------------------------------------------------------------------
% Shortcuts
%------------------------------------------------------------------------------

\input{macros_common}
%e.g:
%  \newcommand{\mita}[1]{\mbox{\it{{#1}}}}

\input{macros_options}

\input{macros_listing_cocci} % order is important
\input{macros_grammar}


%------------------------------------------------------------------------------
% Globals
%------------------------------------------------------------------------------
\input{macros}
%e.g:
% \newcommand{\avgcorrect}{96\%\xspace} % if consider all files
% \newcommand{\MyTool}{aComment\xspace}
% \newcommand{\bugsfound}{XXX\xspace}


%******************************************************************************
% Title
%******************************************************************************
\begin{document}
%don't want date printed
\date{}

%------------------------------------------------------------------------------
\title{
{\Huge \bf Coccinelle}\\
{User's manual}\\
{release \cocciversion}\\
}
%\title{\spatch and \sgrep manual}

\author{
Julia Lawall and Yoann Padioleau \\
{(with contributions from
Rene Rydhof Hansen,
Nicolas Palix,
Henrik Stuart)
}
}
%src: Xavier Leroy manual

\date{\today}

\maketitle
\tableofcontents

%******************************************************************************
% Body
%******************************************************************************

\chapter*{Foreword}

This manual documents the release \cocciversion of Coccinelle.
It is organized as follows:
\begin{itemize}
  \item Part~\ref{part:usermanual} is an introduction to Coccinelle
  \item Part~\ref{part:refmanual} is the reference description
    of Coccinelle, its language and command line tool.
\end{itemize}

\section*{Conventions}

\section*{Copyright}

%coupling: copyright.txt
Coccinelle copyright is\\
\copyright 2010, University of Copenhagen DIKU and INRIA.\\
\copyright 2005-2009, University of Copenhagen DIKU and Ecole des Mines de Nantes.

Coccinelle is open source and can be freely redistributed under the
terms of the GNU General Public License version 2. See the file
\verb+license.txt+ in the distribution for licensing information.

The present documentation is copyright 2008, 2009 Yoann Padioleau
and Julia Lawall and distributed under the terms of the
GNU Free Documentation License version 1.3.

\section*{Availability}

Coccinelle can be freely downloaded
from \verb+http://coccinelle.lip6.fr/+.
This website contains also additional information.


\part{User Manual}
\label{part:usermanual}

\input{introduction}

\input{installing}

\input{tutorial}

\chapter{Examples}
\input{examples}
\input{tips}


\input{isomorphisms}

\input{parsing}


\input{workflow}

\input{advanced}




\part{Reference Manual}
\label{part:refmanual}

\chapter{SmPL grammar}

\input{cocci_syntax}

\chapter{\spatch command line options}

%coupling: ../spatch.1
\input{spatch_options}

%******************************************************************************
% Appendix
%******************************************************************************

%index

{\small
\bibliographystyle{acm}
\bibliography{main}
}


%******************************************************************************
% Postlude
%******************************************************************************

\end{document}
