From 015781acfe4a2a75eeced513528b389cae9fb0a3 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 23 Feb 2006 14:21:14 +0000
Subject: 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
---
 doc/common/title.tex | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

(limited to 'doc/common')

diff --git a/doc/common/title.tex b/doc/common/title.tex
index 8e1d1c9c9a..51e817cc51 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
-- 
cgit v1.2.3