Best regards, Antonio. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
Version 1.6 of ed generates the man page with help2man. So I think this
bug has been fixed and can be closed.
