Makefile_upgrade.inc: Remove formatted manual pages, too.