
#Remove info file(s)
install-info --delete --quiet usr/info/gmp.info-1.gz usr/info/dir
install-info --delete --quiet usr/info/gmp.info-2.gz usr/info/dir
install-info --delete --quiet usr/info/gmp.info.gz usr/info/dir
