From e7ad6cb56e5a1dfc6ba6a8afa3445d20b5b86ffa Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 24 Apr 2018 11:59:50 +0200
Subject: [sphinx] Fix a porting mistake.

---
 doc/sphinx/practical-tools/utilities.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/sphinx/practical-tools/utilities.rst b/doc/sphinx/practical-tools/utilities.rst
index 59867988a4..59a88771a0 100644
--- a/doc/sphinx/practical-tools/utilities.rst
+++ b/doc/sphinx/practical-tools/utilities.rst
@@ -137,7 +137,7 @@ Here we describe only few of them.
    (e.g. wrappers)
 :COQ_SRC_SUBDIRS:
    can be extended by including other paths in which ``*.cm*`` files
-   are searched. For example ``COQ\_SRC\_SUBDIRS+=user-contrib/Unicoq``
+   are searched. For example ``COQ_SRC_SUBDIRS+=user-contrib/Unicoq``
    lets you build a plugin containing OCaml code that depends on the
    OCaml code of ``Unicoq``.
 
-- 
cgit v1.2.3