From 57726253f21d39022487efc6e595b7bbc6486cbc Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 11 May 2018 14:19:06 +0200
Subject: document 7025

---
 doc/sphinx/practical-tools/utilities.rst | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/doc/sphinx/practical-tools/utilities.rst b/doc/sphinx/practical-tools/utilities.rst
index 59a88771a0..5dba92429e 100644
--- a/doc/sphinx/practical-tools/utilities.rst
+++ b/doc/sphinx/practical-tools/utilities.rst
@@ -139,7 +139,19 @@ Here we describe only few of them.
    can be extended by including other paths in which ``*.cm*`` files
    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``.
+   OCaml code of ``Unicoq``
+:COQFLAGS:
+   override the flags passed to ``coqc``. By default ``-q``.
+:COQEXTRAFLAGS:
+   extend the flags passed to ``coqc``
+:COQCHKFLAGS:
+   override the flags passed to ``coqchk``.  By default ``-silent -o``.
+:COQCHKEXTRAFLAGS:
+   extend the flags passed to ``coqchk``
+:COQDOCFLAGS:
+   override the flags passed to ``coqdoc``. By default ``-interpolate -utf8``.
+:COQDOCEXTRAFLAGS:
+   extend the flags passed to ``coqdoc``
 
 **Rule extension**
 
-- 
cgit v1.2.3