From 30efed2685f4a8eb67307d33202763b0bd42abad Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sat, 28 Mar 2020 11:46:26 -0700 Subject: [PATCH] [coq] update docs Signed-off-by: Rudi Grinberg --- doc/dune-files.rst | 3 +++ 1 file changed, 3 insertions(+) diff --git a/doc/dune-files.rst b/doc/dune-files.rst index 58d4af32fa47..f07148995b55 100644 --- a/doc/dune-files.rst +++ b/doc/dune-files.rst @@ -1657,6 +1657,9 @@ process. This is done using the ``coq.extract`` stanza: - ```` 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)