patch from Keith to improve pulse audio support
[debian/freetts] / docs / create_php.sh
1 gawk -f create_php.awk < index.html > index.php