Adapt doc

Signed-off-by: Nicolás Ojeda Bär <[email protected]>

Author: nojb

doc/coq.rst

@@ -456,7 +456,7 @@ lang<coq-lang>` stanza present:
 
 .. code:: dune
 
-  (lang dune 3.17)
+  (lang dune 3.18)
   (using coq 0.8)
 
 Next we need a :doc:`/reference/dune/index` file with a :ref:`coq-theory`
@@ -687,7 +687,7 @@ the plugin to sit in, otherwise Coq will not be able to find it.
 
 .. code:: dune
 
-  (lang dune 3.17)
+  (lang dune 3.18)
   (using coq 0.8)
 
   (package

doc/foreign-code.rst

@@ -103,7 +103,7 @@ file:
 
 .. code:: dune
 
-  (lang dune 3.17)
+  (lang dune 3.18)
   (using ctypes 0.3)
 
 

doc/hacking.rst

@@ -286,7 +286,7 @@ Such languages must be enabled in the ``dune`` project file separately:
 
 .. code:: dune
 
-   (lang dune 3.17)
+   (lang dune 3.18)
    (using coq 0.8)
 
 If such extensions are experimental, it's recommended that they pass

doc/instrumentation.rst

@@ -96,14 +96,14 @@ To enable an instrumentation backend globally, type the following in your
 
 .. code:: dune
 
-   (lang dune 3.17)
+   (lang dune 3.18)
    (instrument_with bisect_ppx)
 
 or for each context individually:
 
 .. code:: dune
 
-   (lang dune 3.17)
+   (lang dune 3.18)
    (context default)
    (context (default (name coverage) (instrument_with bisect_ppx)))
    (context (default (name profiling) (instrument_with landmarks)))

doc/melange.rst

@@ -42,7 +42,7 @@ is enabled:
 
 .. code:: dune
 
-  (lang dune 3.17)
+  (lang dune 3.18)
   (using melange 0.1)
 
 Next, write a :doc:`/reference/dune/index` file with a

doc/sites.rst

@@ -34,7 +34,7 @@ will be installed as a sub-directory.
 
 .. code:: dune
 
-   (lang dune 3.17)
+   (lang dune 3.18)
    (using dune_site 0.1)
    (name mygui)
 
@@ -235,7 +235,7 @@ Main Executable (C)
 
 .. code:: dune
 
-  (lang dune 3.17)
+  (lang dune 3.18)
   (using dune_site 0.1)
   (name app)
 
@@ -295,7 +295,7 @@ The Plugin "plugin1"
 
 .. code:: dune
 
-  (lang dune 3.17)
+  (lang dune 3.18)
   (using dune_site 0.1)
 
   (generate_opam_files true)