Remove pdoc3 documentation

We don't want to use this tool or the documentation generated by it, due to its use of controversial imagery in the auto generated HTML.

Author: rwalton-arm

ci_scripts/prep-release

@@ -10,10 +10,8 @@ python ci_scripts/sync_board_database.py -vvv
 git add src/mbed_tools/targets/_internal/data/board_database_snapshot.json
 git add news/
 
-printf "Generating API docs and adding license headers\n"
-generate-docs --output_dir docs/api
+printf "Adding license headers\n"
 pre-commit run licenseheaders --all-files > /dev/null 2>&1 || true
-git add docs/api
 
 if ! NEW_VERSION=$(python ci_scripts/bump_version.py -vvv -n news/); then
  printf "No news files detected. Exiting.\n"
@@ -25,7 +23,7 @@ git update-index -q --ignore-submodules --refresh
 
 if ! git diff-index --cached --quiet HEAD --ignore-submodules --
 then
- printf "Found staged changes to commit after docs and target database update: $(git diff-index --cached --name-status --ignore-submodules HEAD)\n"
+ printf "Found staged changes to commit after target database update: $(git diff-index --cached --name-status --ignore-submodules HEAD)\n"
  # Towncrier will fail if it detects a news file that has not been committed to
  # the repository. So we need to ensure the news file generated by
  # sync_board_database.py was committed before running towncrier.