diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex
index 13357f76e11e74b919a909d9d7c617ccaf669c6e..ab2200361f82dd9c2b9e4ffe3e60fab98bf0ecb2 100644
--- a/doc/developer/advance.tex
+++ b/doc/developer/advance.tex
@@ -570,6 +570,12 @@ modify or disable test cases.
 & \textit{None}
 \\
 \hline
+\texttt{ENABLED\_IF}\nscodeidxdef{Test!Directive}{ENABLED\_IF}
+& Conditionally enable subsequent tests, using Dune variables
+  (e.g. \verb|%{bin-available:gcc}|).
+& \texttt{true}
+\\
+\hline
 \texttt{\underline{EXECNOW}}\nscodeidxdef{Test!Directive}{EXECNOW}
 & Run a custom command.
 & \textit{None}
diff --git a/tools/ptests/ptests.ml b/tools/ptests/ptests.ml
index 583ffe77da92b3b8a59257ae7e37d53259eb0e4f..6c8432958909130fa6008dfdc82d090f29ceb864 100644
--- a/tools/ptests/ptests.ml
+++ b/tools/ptests/ptests.ml
@@ -202,7 +202,6 @@ let example_msg =
      STDOPT: #<extra>    @[<v 0># Defines a sub-test and prepend the extra to the current option.@]@  \
      PLUGIN: <plugin>... @[<v 0># Adds a dependency and set the macro @@PTEST_PLUGIN@@ defining the '-load-plugins' option used in the macro @@PTEST_LOAD_OPTIONS@@.@]@  \
      LIBRARY: <pkg.lib>... @[<v 0># Adds a dependency and set the macro @@PTEST_LIBRARY@@ defining the '-load-library' option used in the macro @@PTEST_LOAD_OPTIONS@@.@]@  \
-     CMXS: <module>...   @[<v 0># Defines dune targets without dependency to tests so use '-load-module %%{dep:<module>.cmxs}' into the test options.@]@  \
      MODULE: <module>... @[<v 0># Adds a dependency and adds the corresponding '-load-module' option into the macro @@PTEST_LOAD_OPTIONS@@.@]@  \
      SCRIPT: <module>... @[alias 'MODULE' directive.@]@  \
      LIBS: <module>...   @[<v 0># Like 'MODULE' directive but for modules that can be shared between several test files.@]@  \