summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorJohn Whitington <john@coherentgraphics.co.uk>2020-07-31 15:51:11 +0100
committerJohn Whitington <john@coherentgraphics.co.uk>2020-07-31 15:51:11 +0100
commit1c258b463f655d47ef56fb5351a07b12712b3dba (patch)
tree0b461d7444d538c5e5de779b42005dad64816f24 /tools
parenta5ed794b4c8290a5d1567a9f861f7c69dc5d12fa (diff)
downloadocaml-1c258b463f655d47ef56fb5351a07b12712b3dba.tar.gz
Fix label warnings
Diffstat (limited to 'tools')
-rwxr-xr-xtools/unlabel2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/unlabel b/tools/unlabel
index 6ad915e5e8..6759da49a5 100755
--- a/tools/unlabel
+++ b/tools/unlabel
@@ -35,7 +35,7 @@ LABLABREGEX="s/\([a-z_]+:([a-z\('])/\(\1/g"
TILDEREGEX="s/~([a-z_]*[ \]])/\1/g"
#@sinceunlabeled --> @since
-SINCEREGEX="s/sinceunlabeled/since/g"
+SINCEREGEX="s/sinceunlabelednowarn/since/g"
#Indent a non-blank line by two characters, for moreLabels templates
INDENTREGEX="s/^(.+)$/ \1/m"