
#Remove info file(s)
install-info --delete --quiet usr/info/flex.info-1.gz usr/info/dir
install-info --delete --quiet usr/info/flex.info-2.gz usr/info/dir
install-info --delete --quiet usr/info/flex.info.gz usr/info/dir
