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