Remove formatted version of ieee.3 manpage too.