generateinfo: new script for updating device manifests