2015-11-25 19:39:49 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
set -e
|
|
|
|
|
|
|
|
# parameters
|
|
|
|
PHPDOC_SOURCE_DIR="$1"
|
|
|
|
PHPDOC_TARGET_DIR="$2"
|
|
|
|
PHPDOC_TITLE="$3"
|
|
|
|
|
2015-11-25 20:55:28 +00:00
|
|
|
# print parameters
|
|
|
|
echo "Generating phpDocs..."
|
|
|
|
printf 'PHPDOC_SOURCE_DIR="%s"\n' "$PHPDOC_SOURCE_DIR"
|
|
|
|
printf 'PHPDOC_TARGET_DIR="%s"\n' "$PHPDOC_TARGET_DIR"
|
|
|
|
printf 'PHPDOC_TITLE="%s"\n' "$PHPDOC_TITLE"
|
|
|
|
|
2015-11-25 19:39:49 +00:00
|
|
|
# generate phpdoc
|
|
|
|
phpdoc -d "$PHPDOC_SOURCE_DIR" \
|
|
|
|
-i 'build/*' -i 'vendor/*' -i 'plugins/*' \
|
|
|
|
-f 'plugins/DummyPlugin.php' \
|
|
|
|
-t "$PHPDOC_TARGET_DIR" \
|
|
|
|
--title "$PHPDOC_TITLE"
|
2015-11-25 20:55:28 +00:00
|
|
|
|
|
|
|
echo
|