diff --git a/doc/jsoo.rst b/doc/jsoo.rst index b5c8664d..b73f7ff7 100644 --- a/doc/jsoo.rst +++ b/doc/jsoo.rst @@ -57,7 +57,7 @@ using ``(js_of_ocaml ())``. - ``(javascript_files ())`` to specify ``js_of_ocaml`` JavaScript runtime files. -```` is specified in the `Ordered set language`_. +```` is specified in the :ref:`ordered-set-language`. The default value for ``(flags ...)`` depends on the selected build profile. The build profile ``dev`` (the default) will enable sourcemap and the pretty