Hi: I know you can get festival to dump to a wav file, which you could then encode to whatever format you like. Though of course this will require a bit of disk space to do. Don't know if festival can send its wav to standard out, in which case you could go direct to MP3. Geoff.
