Release coccinelle-0.2.3rc1

[bpt/coccinelle.git] / docs / manual / main.tex

diff --git a/docs/manual/main.tex b/docs/manual/main.tex
index c06003a..e757d98 100644 (file)
--- a/docs/manual/main.tex
+++ b/docs/manual/main.tex
@@ -13,6 +13,7 @@
 \usepackage{times}
 \usepackage{fullpage}
 
+\usepackage[utf8]{inputenc}
 \usepackage[T1]{fontenc}
 
 \usepackage{amsmath}
@@ -128,22 +129,27 @@ It is organized as follows:
 
 %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.
+\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://coccinelle.lip6.fr/+.
-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}
@@ -188,6 +194,11 @@ This website contains also additional information.
 % Appendix
 %******************************************************************************
 
+\part{Appendix}
+
+\chapter*{GNU Free Documentation License}
+
+\input{license.txt}
 %index
 
 {\small
@@ -201,3 +212,11 @@ This website contains also additional information.
 %******************************************************************************
 
 \end{document}
+
+%%% Local Variables:
+%%% mode: LaTeX
+%%% TeX-master: t
+%%% coding: utf-8
+%%% TeX-PDF-mode: t
+%%% ispell-local-dictionary: "american"
+%%% End: