From 467eb67bb960c15e1335f375af29b4121ac5262b Mon Sep 17 00:00:00 2001
From: JPR
Date: Wed, 22 May 2019 21:40:57 +0200
Subject: Fixing typos - Part 2

---
 man/coqdep.1 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'man')

diff --git a/man/coqdep.1 b/man/coqdep.1
index c417402c25..4639a75677 100644
--- a/man/coqdep.1
+++ b/man/coqdep.1
@@ -106,7 +106,7 @@ Skips subdirectory
 Output the given file name ordered by dependencies.
 .TP 
 .B \-boot
-For coq developpers, prints dependencies over coq library files
+For coq developers, prints dependencies over coq library files
 (omitted by default).
 
 
-- 
cgit v1.2.3