diff --git a/doc/test/run.t b/doc/test/run.t
index b233af79c47..d993b8c161a 100644
--- a/doc/test/run.t
+++ b/doc/test/run.t
@@ -8,5 +8,15 @@ is fine, but you then need to update the list of such exceptions below.
 
   $ DUNE_LANG=$(dune internal latest-lang-version)
   $ grep '(lang dune' ../*.rst | grep -v "$DUNE_LANG"
+  ../coq.rst:  (lang dune 3.17)
+  ../coq.rst:  (lang dune 3.17)
+  ../foreign-code.rst:  (lang dune 3.17)
   ../hacking.rst:``(lang dune 2.7)`` in their ``dune`` project file to use it.
+  ../hacking.rst:   (lang dune 3.17)
+  ../instrumentation.rst:   (lang dune 3.17)
+  ../instrumentation.rst:   (lang dune 3.17)
+  ../melange.rst:  (lang dune 3.17)
+  ../sites.rst:   (lang dune 3.17)
+  ../sites.rst:  (lang dune 3.17)
+  ../sites.rst:  (lang dune 3.17)
   ../tests.rst:   (lang dune 2.7)