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