> Try > > $ /usr/local/bin/makeinfo --version > > To get the ports version. Yes, but the path has /usr/bin first, so any configuration script finds the old version. Lev -- 73 de HA5OGL Op.: Levente