diff --git a/src/libraries/utils/markdown.ml b/src/libraries/utils/markdown.ml index 2aa8e471524b11c69dcdfd1e0bcce297c9602762..92153e7eb31cd0ecae9415f5855ecf31d5ef8725 100644 --- a/src/libraries/utils/markdown.ml +++ b/src/libraries/utils/markdown.ml @@ -222,9 +222,9 @@ let relativize page target = go_up p1 @ l2 | d2 :: p2 when d2 = d1 -> remove_common p1 p2 | _ -> go_up p1 @ l2 - in - let relative = remove_common page_dir target_dir in - String.concat "/" relative + in + let relative = remove_common page_dir target_dir in + String.concat "/" relative let pp_href ?(page="") fmt = function | URL s -> Format.pp_print_string fmt s