From 1d6689788d3ffe952cfe9b51b338d30c5aeeda14 Mon Sep 17 00:00:00 2001
From: mohring
Date: Thu, 19 Apr 2001 13:25:45 +0000
Subject: Ajoute Library.html a all-html

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8193 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index 71c2515766..dda2ae2d3c 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,6 +1,6 @@
 # Makefile for the Coq documentation
 
-# You need the environment varibles COQTOP and COQBIN to be correctly set
+# You need the environment variables COQTOP and COQBIN to be correctly set
 # (some files are preprocessed using Coq and some part of the documentation
 # is automatically built from the theories sources)
 
@@ -80,7 +80,7 @@ all-pdf: Tutorial.v.pdf Reference-Manual.pdf Library.pdf Changes.v.pdf
 
 all-ps: Tutorial.v.ps Reference-Manual.ps Library.ps Changes.v.ps
 
-all-html: Tutorial.v.html Reference-Manual.html Changes.v.html
+all-html: Tutorial.v.html Reference-Manual.html Library.html Changes.v.html
 
 
 # dvips et dviselect existent sur loupiac
-- 
cgit v1.2.3