install-info  --delete libIDL  --info-dir /usr/info
