diff options
Diffstat (limited to 'tools/sync_stdlib_docs')
| -rwxr-xr-x | tools/sync_stdlib_docs | 2 |
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" |