Artifact b769f0b69d4f44fecb1372ee264de01e6da1d823:

• Executable file doc/devtools/_dt — part of check-in [51e3884900] at 2010-06-22 17:03:27 on branch trunk — upgradephp-15 (user: mario size: 230)
• Executable file dtools/_dt — part of check-in [09785ab723] at 2010-06-22 16:46:27 on branch trunk — upgradephp-9 (user: mario size: 230)

#!/bin/sh
# runs the `doctests` utility for a given (param) function,
# simply has some custom pathnames built-in
MAN=/usr/local/doc/php5-doc/
PHP=php412

DIR=$(dirname $(dirname $(realpath $0)))
$DIR/dtools/doctests $PHP $MAN $@