From 63f074a7a84efeda3940906120ee52443be3ebda Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 15 Oct 2009 12:22:00 +0000
Subject: typo in doc of Extraction Blacklist

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

diff --git a/doc/refman/Extraction.tex b/doc/refman/Extraction.tex
index 8271c7c324..9e74463e18 100644
--- a/doc/refman/Extraction.tex
+++ b/doc/refman/Extraction.tex
@@ -284,7 +284,7 @@ Extract Inductive prod => "(*)"  [ "(,)" ].
 
 \asubsection{Avoiding conflicts with existing filenames}
 
-\comindex{Extraction Blaclist}
+\comindex{Extraction Blacklist}
 
 When using {\tt Extraction Library}, the names of the extracted files
 directly depends from the names of the \Coq\ files. It may happen that
-- 
cgit v1.2.3