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/refman/Reference-Manual.tex | 11 ++++++++---
 doc/refman/cover.html           |  2 +-
 2 files changed, 9 insertions(+), 4 deletions(-)

(limited to 'doc/refman')

diff --git a/doc/refman/Reference-Manual.tex b/doc/refman/Reference-Manual.tex
index fa909b607a..08b5275882 100644
--- a/doc/refman/Reference-Manual.tex
+++ b/doc/refman/Reference-Manual.tex
@@ -23,9 +23,9 @@
 
 %\includeonly{RefMan-gal.v,RefMan-ltac.v,RefMan-lib.v,Cases.v}
 
-\input{./version.tex}
-\input{./macros.tex}% extension .tex pour htmlgen
-\input{./title.tex}% extension .tex pour htmlgen
+\input{../common/version.tex}
+\input{../common/macros.tex}% extension .tex pour htmlgen
+\input{../common/title.tex}% extension .tex pour htmlgen
 \input{./headers.tex}% extension .tex pour htmlgen
 
 \begin{document}
@@ -36,6 +36,11 @@
 \tophtml{}
 %BEGIN LATEX
 \coverpage{Reference Manual}{The Coq Development Team}
+  {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}).
+   Options A and B of the licence are {\em not} elected.}
 %END LATEX
 
 %\defaultheaders
diff --git a/doc/refman/cover.html b/doc/refman/cover.html
index 2a09ea2311..1d2700b1cc 100644
--- a/doc/refman/cover.html
+++ b/doc/refman/cover.html
@@ -22,7 +22,7 @@ The Coq Proof Assistant<BR>
 <DIV ALIGN=left>
 <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>).
+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>). Options A and B are not elected.
 </DIV>
 <BR>
 
-- 
cgit v1.2.3