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

2 files changed, 9 insertions, 4 deletions

diff --git a/doc/cover.html b/doc/cover.html
index cdf4e58302..2a09ea2311 100644
--- a/doc/cover.html
+++ b/doc/cover.html
@@ -20,8 +20,9 @@ The Coq Proof Assistant<BR>
 <BR><BR><BR><BR><BR><BR>
 
 <DIV ALIGN=left>
-<FONT SIZE=4>V7.x ©INRIA 1999-2004</FONT><BR>
-<FONT SIZE=4>V8.0 ©INRIA 2004-2005</FONT><BR>
+<FONT SIZE=4>V7.x © INRIA 1999-2004</FONT><BR>
+<FONT SIZE=4>V8.0 © INRIA 2004-2006</FONT><BR>
+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 <A HREF="http://www.opencontent.org/openpub">http://www.opencontent.org/openpub</A>).
 </DIV>
 <BR>
 
diff --git a/doc/title.tex b/doc/title.tex
index 9d68964a21..8e1d1c9c9a 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