c09c9af2859360d42ddb402dac3883e9566d73de
[silc.git] / scripts / silcdoc / gen.sh
1 #!/bin/sh
2
3 cat << EOF > tmp.php
4 <?php \$page="$4"; \$dest="$1"; \$type="$3"; require "$2"; ?>
5 EOF
6 php -f tmp.php >$5.tmp
7 mv $5.tmp $5
8 rm -f tmp.php