Skip to content

Commit

Permalink
Merge pull request #10535 from nekketsuuu/nekketsuuu-subsub
Browse files Browse the repository at this point in the history
webman: Remove chapter number on subsubsection correctly
  • Loading branch information
dra27 committed Jul 27, 2021
2 parents d5ae882 + cc739fd commit 8275562
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion manual/src/html_processing/src/process_manual.ml
Expand Up @@ -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
Expand Down

0 comments on commit 8275562

Please sign in to comment.