Remove unneeded comment, typo

master
John Whitington 2020-08-01 13:54:36 +01:00
parent 1c258b463f
commit 7a22c2b1e4
3 changed files with 2 additions and 12 deletions

View File

@ -21,11 +21,6 @@
unixLabels.mli instead.
*)
(* NOTE:
When adding a type to unixLabels.mli, you must also edit
tools/unlabel to add the type there.
*)
(** Interface to the Unix system.
To use the labeled version of this module, add [module Unix][ = ][UnixLabels]

View File

@ -21,11 +21,6 @@
unixLabels.mli instead.
*)
(* NOTE:
When adding a type to unixLabels.mli, you must also edit
tools/unlabel to add the type there.
*)
(** Interface to the Unix system.
To use the labeled version of this module, add [module Unix][ = ][UnixLabels]

View File

@ -27,14 +27,14 @@ fi
#comments.
LABREGEX="s/ [a-z_]+:([a-z\('])/ \1/g"
#A second, sligthly different round sometimes required to deal with f:(key:key
#A second, slightly different round sometimes required to deal with f:(key:key
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"
#@sinceunlabeled --> @since
#@sinceunlabelednowarn --> @since
SINCEREGEX="s/sinceunlabelednowarn/since/g"
#Indent a non-blank line by two characters, for moreLabels templates