From bf16900f43c1291136673e7614587fe51eebc88f Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Tue, 6 Jan 2015 17:57:44 +0100
Subject: Fix some documentation typos.

---
 Makefile.common | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index fead1dac6..7c98b64de 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -78,12 +78,12 @@ SRCDIRS:=\
 
 IDESRCDIRS:= $(CORESRCDIRS) ide ide/utils
 
-# Order is relevent here because kernel and checker contain files
+# Order is relevant here because kernel and checker contain files
 # with the same name
 CHKSRCDIRS:= checker lib config kernel parsing
 
 ###########################################################################
-# tools
+# Tools
 ###########################################################################
 
 COQDEP:=bin/coqdep$(EXE)
-- 
cgit v1.2.3