diff options
author | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-06-10 18:24:52 +0000 |
---|---|---|
committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-06-10 18:24:52 +0000 |
commit | 813b9b40ce96c59f9e68b759c876a0ccbfdbf942 (patch) | |
tree | 4aa53fc2a9592970f39531aedca342aaa7cec1bc /doc/stdlib/Library.tex | |
parent | d4e696cb8145701356fb9993a8a97e970e83ff8c (diff) |
2-3 petites modifs sur la doc
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11091 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/stdlib/Library.tex')
-rwxr-xr-x | doc/stdlib/Library.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/stdlib/Library.tex b/doc/stdlib/Library.tex index 9260e7e18..8735bc720 100755 --- a/doc/stdlib/Library.tex +++ b/doc/stdlib/Library.tex @@ -3,7 +3,7 @@ \usepackage[latin1]{inputenc} \usepackage[T1]{fontenc} \usepackage{fullpage} -\usepackage{coqdoc} +\usepackage{../../coqdoc} \input{../common/version} \input{../common/title} |