diff --git a/manual/manual/html_processing/src/process_manual.ml b/manual/manual/html_processing/src/process_manual.ml index 5bd6eefcb3f9..2ba37b6688b3 100644 --- a/manual/manual/html_processing/src/process_manual.ml +++ b/manual/manual/html_processing/src/process_manual.ml @@ -136,7 +136,7 @@ let load_html file = (regexp (">[0-9]+\\.\\([0-9]+\\)" ^ preg_anyspace))) {|>\1|} |> Re.Str.(global_replace - (regexp ("[0-9]+\\.\\([0-9]+\\.[0-9]+\\)" ^ preg_anyspace))) + (regexp ("[0-9]+\\.\\([0-9]+\\(\\.[0-9]+\\)+\\)" ^ preg_anyspace))) {|\1|} (* The API (libref and compilerlibref directories) should be separate