if [ -x /usr/bin/install-info ]; then
	/usr/bin/install-info --info-dir=usr/info usr/info/gprbuild_ug.info.gz &> /dev/null
fi