#!/bin/bash # Check if the script is run from the root of the repositoryif [ ! -f "Cargo.toml" ] || [ ! -d "crates/zed" ]; then    echo "Please run the script from the root of the repository."    exit 1fi # Set the environment variablesTARGET_DIR="../zed-docs"PUSH_CHANGES=falseCLEAN_FOLDERS=false # Parse command line argumentswhile getopts "pc" opt; do  case ${opt} in    p )      PUSH_CHANGES=true      ;;    c )      CLEAN_FOLDERS=true      ;;    \? )      echo "Invalid option: $OPTARG" 1>&2      exit 1      ;;  esacdone # Check if the target documentation directory existsif [ ! -d "$TARGET_DIR" ]; then    # Prompt the user for input    read -p "Can't find ../zed-docs. Do you want to clone the repository (y/n)?" -n 1 -r    echo  # Move to a new line     if [[ $REPLY =~ ^[Yy]$ ]]; then        # Clone the repo if the user agrees        git clone https://github.com/zed-industries/zed-docs.git "$TARGET_DIR"    else        # Exit if the user does not agree to clone the repo        echo "Exiting without cloning the repository."        exit 1    fielse    # If the directory exists, pull the latest changes    pushd "$TARGET_DIR" > /dev/null    git pull    popd > /dev/nullfi if "$CLEAN_FOLDERS"; then  echo "Cleaning ./doc and ./debug folders..."  rm -rf "$TARGET_DIR/doc"  rm -rf "$TARGET_DIR/debug"fi # Build the documentationCARGO_TARGET_DIR="$TARGET_DIR" cargo doc --workspace --no-deps --open \--exclude activity_indicator \--exclude ai \--exclude assistant \--exclude audio \--exclude auto_update \--exclude breadcrumbs \--exclude call \--exclude channel \--exclude cli \--exclude client \--exclude clock \--exclude collab \--exclude collab_ui \--exclude collections \--exclude command_palette \--exclude component_test \--exclude context_menu \--exclude copilot \--exclude copilot_button \--exclude db \--exclude diagnostics \--exclude drag_and_drop \--exclude editor \--exclude feature_flags \--exclude feedback \--exclude file_finder \--exclude fs \--exclude fsevent \--exclude fuzzy \--exclude git \--exclude go_to_line \--exclude gpui \--exclude gpui_macros \--exclude install_cli \--exclude journal \--exclude language \--exclude language_selector \--exclude language_tools \--exclude live_kit_client \--exclude live_kit_server \--exclude lsp \--exclude media \--exclude menu \--exclude multi_buffer \--exclude node_runtime \--exclude notifications \--exclude outline \--exclude picker \--exclude plugin \--exclude plugin_macros \--exclude plugin_runtime \--exclude prettier \--exclude project \--exclude project_panel \--exclude project_symbols \--exclude quick_action_bar \--exclude recent_projects \--exclude refineable \--exclude rich_text \--exclude rope \--exclude rpc \--exclude search \--exclude semantic_index \--exclude settings \--exclude snippet \--exclude sqlez \--exclude sqlez_macros \--exclude sum_tree \--exclude terminal \--exclude terminal_view \--exclude text \--exclude theme \--exclude theme_importer \--exclude theme_selector \--exclude util \--exclude vcs_menu \--exclude vim \--exclude welcome \--exclude xtask \--exclude zed \--exclude zed-actions if "$PUSH_CHANGES"; then    # Commit the changes and push    pushd "$TARGET_DIR" > /dev/null    # Check if there are any changes to commit    if git diff --quiet && git diff --staged --quiet; then        echo "No changes to the documentation."    else        # Staging the changes        git add .         # Creating a commit with the current datetime        DATETIME=$(date +"%Y-%m-%d %H:%M:%S")        git commit -m "Update docs – $DATETIME"         # Pushing the changes        git push    fi    popd > /dev/nullfi