scripts/silcdoc/gen.sh

   1 #!/bin/sh
   2
   3 cat << EOF > tmp.php
   4 <?php \$page="$3"; \$dest="$1"; require "$2"; ?>
   5 EOF
   6 php -f tmp.php >$4.tmp
   7 mv $4.tmp $4
   8 rm -f tmp.php