projects
/
runtime.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
b11cff5cee62b74e39734bf53dfcfda3c815733b
[runtime.git]
/
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