From cc739fde51f44d679d701521084e77b4bd573f32 Mon Sep 17 00:00:00 2001
From: nekketsuuu <nekketsuuu@users.noreply.github.com>
Date: Fri, 23 Jul 2021 13:41:40 +0900
Subject: [PATCH] webman: Remove chapter number on subsubsection correctly

---
 manual/src/html_processing/src/process_manual.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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