generate-phpdoc.sh 542 B

123456789101112131415161718192021222324
  1. #!/usr/bin/env bash
  2. set -e
  3. # parameters
  4. PHPDOC_CONFIG="$1"
  5. PHPDOC_CACHE_DIR="$2"
  6. PHPDOC_TARGET_DIR="$3"
  7. PHPDOC_TITLE="$4"
  8. # print parameters
  9. echo "Generating phpDocs..."
  10. printf 'PHPDOC_CONFIG="%s"\n' "$PHPDOC_CONFIG"
  11. printf 'PHPDOC_CACHE_DIR="%s"\n' "$PHPDOC_CACHE_DIR"
  12. printf 'PHPDOC_TARGET_DIR="%s"\n' "$PHPDOC_TARGET_DIR"
  13. printf 'PHPDOC_TITLE="%s"\n' "$PHPDOC_TITLE"
  14. echo
  15. # generate phpdoc
  16. phpdoc --config "$PHPDOC_CONFIG" \
  17. --cache-folder "$PHPDOC_CACHE_DIR" \
  18. --target "$PHPDOC_TARGET_DIR" \
  19. --title "$PHPDOC_TITLE"
  20. echo