From f958d281ab57acfb37e69bbe92ed603d87962ce6 Mon Sep 17 00:00:00 2001
From: Robert Rand
Date: Tue, 7 May 2019 12:44:09 -0400
Subject: Added description of Q

Note that this description is identical to that of R. R should maybe start with the word "Recursively"?---
 doc/sphinx/practical-tools/utilities.rst | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'doc')

diff --git a/doc/sphinx/practical-tools/utilities.rst b/doc/sphinx/practical-tools/utilities.rst
index 35231610fe..f799091af3 100644
--- a/doc/sphinx/practical-tools/utilities.rst
+++ b/doc/sphinx/practical-tools/utilities.rst
@@ -911,11 +911,13 @@ Command line options
     Coq``.
   :-R dir coqdir: Map physical directory dir to |Coq| logical
     directory  ``coqdir`` (similarly to |Coq| option ``-R``).
+  :-Q dir coqdir: Map physical directory dir to |Coq| logical
+    directory  ``coqdir`` (similarly to |Coq| option ``-Q``).
 
     .. note::
 
-       option ``-R`` only has
-       effect on the files *following* it on the command line, so you will
+       options ``-R`` and ``-Q`` only have
+       effect on the files *following* them on the command line, so you will
        probably need to put this option first.
 
 
-- 
cgit v1.2.3