From e23adb436938ca6b43bb3ecc7111e952549b66f0 Mon Sep 17 00:00:00 2001
From: glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 10 Feb 2010 11:24:05 +0000
Subject: splitted -> split

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

(limited to 'man/coqdoc.1')

diff --git a/man/coqdoc.1 b/man/coqdoc.1
index 1b4cb7b6f..8d71a8746 100644
--- a/man/coqdoc.1
+++ b/man/coqdoc.1
@@ -75,7 +75,7 @@ Considers the file `file' respectively as a .v (or .g) file or a .tex file.
 .TP
 .BI \-\-files\-from \ file
 Read file names to process in file `file' as if they were given on the
-command line. Useful for program sources splitted in several
+command line. Useful for program sources split in several
 directories.
 .TP
 .B \-q, \ \-\-quiet
-- 
cgit v1.2.3