From f06d96687e26d3e491de0a234e889e901b32e1ca Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Wed, 8 Apr 2020 11:08:30 -0400
Subject: Fix a typo in CoqMakefile.in

---
 tools/CoqMakefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/CoqMakefile.in b/tools/CoqMakefile.in
index f72b99c57c..597351db9b 100644
--- a/tools/CoqMakefile.in
+++ b/tools/CoqMakefile.in
@@ -54,7 +54,7 @@ OCAMLWARN         := $(COQMF_WARN)
 #
 # Parameters are make variable assignments.
 # They can be passed to (each call to) make on the command line.
-# They can also be put in @LOCAL_FILE@ once an for all.
+# They can also be put in @LOCAL_FILE@ once and for all.
 # For retro-compatibility reasons they can be put in the _CoqProject, but this
 # practice is discouraged since _CoqProject better not contain make specific
 # code (be nice to user interfaces).
-- 
cgit v1.2.3