\usepackage{times}
\usepackage{fullpage}
+\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\section*{Copyright}
%coupling: copyright.txt
-Coccinelle is copyright \copyright 2005, 2006, 2007, 2008, 2009
-University of Copenhagen DIKU and Ecole des Mines de Nantes.
+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.
+\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.
+\noindent
+Copyright \copyright~2010, Nicolas Palix, Julia Lawall, and Gilles Muller\\
+Copyright \copyright~2008, 2009, Yoann Padioleau, Nicolas Palix, Julia Lawall, and Gilles Muller\\
+ Permission is granted to copy, distribute and/or modify this document
+ under the terms of the GNU Free Documentation License, Version 1.3;
+ with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
+ A copy of the license is included in the section entitled "GNU
+ Free Documentation License".
\section*{Availability}
Coccinelle can be freely downloaded
-from \verb+http://www.emn.fr/x-info/coccinelle+.
-This website contains also additional information.
+from \url{http://coccinelle.lip6.fr}.\\
+This website contains also additional information and a wiki website.
\part{User Manual}
% Appendix
%******************************************************************************
+\part{Appendix}
+
+\chapter*{GNU Free Documentation License}
+
+\input{license.txt}
%index
{\small
%******************************************************************************
\end{document}
+
+%%% Local Variables:
+%%% mode: LaTeX
+%%% TeX-master: t
+%%% coding: utf-8
+%%% TeX-PDF-mode: t
+%%% ispell-local-dictionary: "american"
+%%% End: