usr/local/share/info/gmp.info-1
usr/local/share/info/gmp.info
usr/local/share/info/gmp.info-2
usr/local/share/info/dir