From 1b553d56c61bae7d97fcb25aa7fbc2a533e1a17a Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Tue, 31 Jul 2018 21:33:07 +0200 Subject: [PATCH] Fix osl link jsoo page Signed-off-by: Rudi Grinberg --- doc/jsoo.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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