[coq] update docs

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
ocaml · Mar 28, 2020 · 30efed2 · 30efed2
1 parent b19ec1c
commit 30efed2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/doc/dune-files.rst b/doc/dune-files.rst
@@ -1657,6 +1657,9 @@ process. This is done using the ``coq.extract`` stanza:
 - ``<optional-fields>`` are ``flags``, ``theories``, and ``libraries``. All of
   these fields have the same meaning as in the ``coq.theory`` stanza.
 
+The extracted sources can then in ``executable`` or ``library`` stanzas as any
+other sources.
+
 .. _dune-workspace:
 
 mdx (since 2.4)