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