Skip to content

Commit

Permalink
lint: warning error 47 on descr first line (#3753)
Browse files Browse the repository at this point in the history
  • Loading branch information
rjbou committed Mar 27, 2019
1 parent 49d38bc commit 39d0157
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion src/state/opamFileTools.ml
Original file line number Diff line number Diff line change
Expand Up @@ -497,7 +497,8 @@ let lint ?check_extra_files t =
(t.install <> [] || t.remove <> [] || t.url <> None ||
t.extra_sources <> []));
cond 47 `Warning
"Synopsis should start with a capital and not end with a dot"
"Synopsis (or description first line) should start with a capital and \
not end with a dot"
(let valid_re =
Re.(compile (seq [bos; diff any (alt [blank; lower]); rep any;
diff any (alt [blank; char '.']); eos]))
Expand Down

0 comments on commit 39d0157

Please sign in to comment.