Accept

Signed-off-by: Nicolás Ojeda Bär <[email protected]>
nojb · Dec 2, 2024 · ed9c163 · ed9c163
1 parent 80c7328
commit ed9c163
Showing 1 changed file with 10 additions and 0 deletions.
diff --git 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)