summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorFardale <fardale+git@crans.org>2022-09-22 16:12:12 +0200
committerFardale <fardale+git@crans.org>2022-09-22 16:15:34 +0200
commit3f77c959b2f60d28e9f40311888732c17f701fe3 (patch)
tree3ccd3f37a29c43bbbe4b92e7ccb89e3f936ec618 /tools
parent9ea6dd0a17cb919dd08582e577fa1387a2f49303 (diff)
downloadocaml-3f77c959b2f60d28e9f40311888732c17f701fe3.tar.gz
documentation: improve the sync_stdlib_docs tool
Try to improve the case when there is function with label argument in a non label module.
Diffstat (limited to 'tools')
-rwxr-xr-xtools/sync_stdlib_docs2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/sync_stdlib_docs b/tools/sync_stdlib_docs
index edf50a2aed..083c6f0fb7 100755
--- a/tools/sync_stdlib_docs
+++ b/tools/sync_stdlib_docs
@@ -32,7 +32,7 @@ LABLABREGEX="s/\([a-z_]+:([a-z\('])/\(\1/g"
#Remove a tilde if it is followed by a label name and a space or closing
#OCamldoc code section with ]
-TILDEREGEX="s/~([a-z_]+[ \]])/\1/g"
+TILDEREGEX="s/ ~([a-z_]+(?=[ \]]))/ \1/g"
#Indent a non-blank line by two characters, for moreLabels templates
INDENTREGEX="s/^(.+)$/ \1/m"