let's use ant for what it's good for?
[debian/freetts] / docs / create_php.sh
1 gawk -f create_php.awk < index.html > index.php