Best regards, Antonio. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Version 1.6 of ed generates the man page with help2man. So I think this
bug has been fixed and can be closed.