# https://github.com/coq/coq/issues/15181
coq: no-manual-page [*]
