scripts/silcdoc/gen.sh

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