lint: warning error 47 on descr first line (ocaml#3753)

rjbou · Mar 27, 2019 · 39d0157 · 39d0157
1 parent 49d38bc
commit 39d0157
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/state/opamFileTools.ml b/src/state/opamFileTools.ml
@@ -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]))