Ajout licence open publication � la doc (sous r�serve OK pour tutorial)

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

1 files changed, 6 insertions, 2 deletions

diff --git a/doc/title.tex b/doc/title.tex
index 9d68964a2..8e1d1c9c9 100755
--- a/doc/title.tex
+++ b/doc/title.tex
@@ -43,7 +43,7 @@ The Coq Proof Assistant\\
 \end{center}
 %BEGIN LATEX
 \newpage
-\vspace*{520pt}
+\vspace*{500pt}
 \thispagestyle{empty}
 %END LATEX
 \begin{flushleft}
@@ -52,7 +52,11 @@ The Coq Proof Assistant\\
 \printingdate}}\\[20pt]
 %END LATEX
 {\large{\copyright INRIA 1999-2004 ({\Coq} versions 7)}}\\
-{\large{\copyright INRIA 2004 ({\Coq} version 8)}}\\
+{\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})}}.
 \end{flushleft}
 %BEGIN LATEX
 \newpage