Hi all,

The following bit of code raises a checkdoc warning about "a" missing a final dot, and being improperly capitalized. Is this expected?

(defconst a
  ;; comment
  "a"
  "Docs for a")

It seems that checkdoc is picking up "a" as the docstring.

Clément.