Lintian Fixes - coq-doc

Building the package failed after changes were made to it.

Run locally

Try this locally (using the lintian-brush package):

debcheckout coq-doc
cd coq-doc
lintian-brush

More details

Full run details

Historical runs