Mise à jour des Makefile, ajout licences, corrections mineures suite à

restructuration du répertoire de documentation


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8607 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 4 insertions, 7 deletions

diff --git a/doc/common/title.tex b/doc/common/title.tex
index 8e1d1c9c9..51e817cc5 100755
--- a/doc/common/title.tex
+++ b/doc/common/title.tex
@@ -20,7 +20,7 @@
 %To show the top for the toc in html
 \newcommand{\tophtml}{}
 
-\newcommand{\coverpage}[2]{
+\newcommand{\coverpage}[3]{
 \thispagestyle{empty}
 \begin{center}
 \begin{Huge}
@@ -51,12 +51,9 @@ The Coq Proof Assistant\\
 {\large{V\coqversion,
 \printingdate}}\\[20pt]
 %END LATEX
-{\large{\copyright INRIA 1999-2004 ({\Coq} versions 7)}}\\
-{\large{\copyright INRIA 2004-2006 ({\Coq} version 8)}}\\
-{\large{This material may be distributed only subject to the terms and
-conditions set forth in the Open Publication License, v1.0 or later
-(the latest version is presently available at
-\ahrefurl{http://www.opencontent.org/openpub})}}.
+{\large{\copyright INRIA 1999-2004 ({\Coq} versions 7.x)}}\\
+{\large{\copyright INRIA 2004-2006 ({\Coq} versions 8.x)}}\\
+{\large{#3}}
 \end{flushleft}
 %BEGIN LATEX
 \newpage