diff --git a/doc/test/run.t b/doc/test/run.t
index d993b8c161a..b233af79c47 100644
--- a/doc/test/run.t
+++ b/doc/test/run.t
@@ -8,15 +8,5 @@ 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)