From 24b484ecb19bd5fad60049365232959405ee96c2 Mon Sep 17 00:00:00 2001 From: Etienne Millon Date: Fri, 4 Jun 2021 12:27:49 +0200 Subject: [PATCH] Document (enabled_if) Signed-off-by: Etienne Millon --- doc/dune-files.rst | 3 +++ 1 file changed, 3 insertions(+) diff --git a/doc/dune-files.rst b/doc/dune-files.rst index 71b63964b740..8d7a5170600d 100644 --- a/doc/dune-files.rst +++ b/doc/dune-files.rst @@ -1881,6 +1881,9 @@ Where ```` are: See `MDX's documentation `__ for more details on preludes. +- ``(enabled_if )`` is the same as the corresponding field of + `library`_. + - ``(package )`` specifies which package to attach this stanza to (similarly to when ``(package)`` is attached to a ``(rule)`` stanza. When ``-p`` is passed, ``(mdx)`` stanzas with an other package will be ignored.