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

1 files changed, 7 insertions, 4 deletions

diff --git a/doc/stdlib/Library.tex b/doc/stdlib/Library.tex
index 58b2dc6df..9fae7495b 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}