032a90d7cf
--forceentry=TEXT will override any entries contained in the info file. Second, I made it recognize that "gmp" and "gmp.info" are the same when looking for whether the info file being installed is already installed.