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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
