generate-phpdoc.sh 592 B

123456789101112131415161718192021222324
  1. #!/usr/bin/env bash
  2. set -e
  3. # parameters
  4. PHPDOC_SOURCE_DIR="$1"
  5. PHPDOC_TARGET_DIR="$2"
  6. PHPDOC_TITLE="$3"
  7. # print parameters
  8. echo "Generating phpDocs..."
  9. printf 'PHPDOC_SOURCE_DIR="%s"\n' "$PHPDOC_SOURCE_DIR"
  10. printf 'PHPDOC_TARGET_DIR="%s"\n' "$PHPDOC_TARGET_DIR"
  11. printf 'PHPDOC_TITLE="%s"\n' "$PHPDOC_TITLE"
  12. echo
  13. # generate phpdoc
  14. phpdoc -d "$PHPDOC_SOURCE_DIR" \
  15. -i "$PHPDOC_SOURCE_DIR/build/" \
  16. -i "$PHPDOC_SOURCE_DIR/vendor/" \
  17. -i "$PHPDOC_SOURCE_DIR/plugins/" -f "$PHPDOC_SOURCE_DIR/plugins/DummyPlugin.php" \
  18. -t "$PHPDOC_TARGET_DIR" \
  19. --title "$PHPDOC_TITLE"
  20. echo