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/stdlib/Library.tex | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

(limited to 'doc/stdlib/Library.tex')

diff --git a/doc/stdlib/Library.tex b/doc/stdlib/Library.tex
index 58b2dc6df9..9fae7495b3 100755
--- a/doc/stdlib/Library.tex
+++ b/doc/stdlib/Library.tex
@@ -3,15 +3,18 @@
 \usepackage[latin1]{inputenc}
 \usepackage[T1]{fontenc}
 \usepackage{fullpage}
-\usepackage[noweb]{coqweb}
+\usepackage{coqdoc}
 
-\input{./title}
-\input{./macros}
+\input{../common/version}
+\input{../common/title}
+\input{../common/macros}
 
 \begin{document}
  
 \coverpage{The standard library}%
 {\ }
+{This material is distributed under the terms of the GNU Lesser
+General Public License Version 2.1.}
 
 \tableofcontents
 
@@ -53,7 +56,7 @@ is also a version of this document in HTML format on the WWW, which
 you can access from the \Coq\ home page at
 \texttt{http://coq.inria.fr/library}.
 
-\input{library.coqweb.tex}
+\input{library.coqdoc}
 
 \end{document}
 
-- 
cgit v1.2.3

