From 1411b47a74c159d317d69c5281997bb0df6475f4 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 3 Mar 2006 14:27:53 +0000
Subject: Typo

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8610 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/stdlib/Library.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/doc/stdlib/Library.tex b/doc/stdlib/Library.tex
index 9fae7495b3..edda403aad 100755
--- a/doc/stdlib/Library.tex
+++ b/doc/stdlib/Library.tex
@@ -56,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.coqdoc}
+\input{Library.coqdoc}
 
 \end{document}
 
-- 
cgit v1.2.3