You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
$ opam lint
/home/valentin/Documents/ometrics/ometrics/ometrics.opam: Warnings.
warning 47: Synopsis (or description first line) should start with a capital and not end with a dot
Note that my description is rather a synopsis, and if I change to a synopsis the warning vanish.
The text was updated successfully, but these errors were encountered:
If description is multiline, synopsisis populated by the first line. But In the case description is only one line, synopsis remain empty. That why lint 47 is triggered. But it's a bug.
This mechanism is present for backward compatibility, it's deprecated (we should add a warning for this case). You should fill synopsis with the oneliner, and if you want add a more detailed explanation on description.
(or description first line) refers to the obsolete descr: field, and doesn't apply anymore. We'll fix the message, thanks for reporting. Changing to synopsis is the right fix for your package.
My opam file:
And I get:
Note that my description is rather a synopsis, and if I change to a synopsis the warning vanish.
The text was updated successfully, but these errors were encountered: