From 3d087f91ea9a9ca6ca7bfbac15763624f547f851 Mon Sep 17 00:00:00 2001
From: glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 2 Jun 2010 16:25:37 +0000
Subject: Fix typos

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

(limited to 'man')

diff --git a/man/coqchk.1 b/man/coqchk.1
index 2709a4be4..f51861f00 100644
--- a/man/coqchk.1
+++ b/man/coqchk.1
@@ -52,7 +52,7 @@ makes coqchk less verbose.
 .TP
 .BI \-admit \ file-or-module
 tag the specified module and all its dependencies as trusted, and will
-not be rechecked, unless explicitely requested by other options.
+not be rechecked, unless explicitly requested by other options.
 
 .TP
 .BI \-norec \ file-or-module
-- 
cgit v1.2.3