From dfb51f30c7af1afdf563f7fd8c4d23e653432dd1 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Mon, 25 Jan 2021 10:44:32 +0100
Subject: fix typos and unicode single quotations in doc strings

Backported those typos that were fixed only in the manual texi
sources and not in the doc strings, from which the text was
imported. Convert a few symbols quoted with curved unicode single
quotations to ascii, such that make magic recognizes them.
---
 coq/coq-system.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'coq')

diff --git a/coq/coq-system.el b/coq/coq-system.el
index 5b530e45..c090cecb 100644
--- a/coq/coq-system.el
+++ b/coq/coq-system.el
@@ -485,13 +485,13 @@ path (including the -R lib options) (see `coq-load-path')."
 
 (defcustom coq-project-filename "_CoqProject"
   "The name of coq project file.
-The coq project file of a coq developpement (cf. Coq documentation on
+The coq project file of a coq development (cf. Coq documentation on
 \"makefile generation\") should contain the arguments given to
 coq_makefile. In particular it contains the -I and -R
 options (preferably one per line).  If `coq-use-coqproject' is
-t (default) the content of this file will be used by proofgeneral to
+t (default) the content of this file will be used by Proof General to
 infer the `coq-load-path' and the `coq-prog-args' variables that set
-the coqtop invocation by proofgeneral.  This is now the recommended
+the coqtop invocation by Proof General.  This is now the recommended
 way of configuring the coqtop invocation.  Local file variables may
 still be used to override the coq project file's configuration.
 .dir-locals.el files also work and override project file settings."
-- 
cgit v1.2.3