reopen 491578 ! thanks Hi, I also bump into errors like: W: coq: manpage-has-errors-from-man usr/share/man/man1/coqdoc.1.gz 171: warning [p 3, 4.8i]: cannot adjust line where the mentioned line consists of a single URL. Shouldn't lintian ignore this error too? Cheers, -- Stéphane Glondu