feat: support building the documentation website using build.sh (#29)

.gitignore

@@ -1,6 +1,6 @@
 # Temporary files
 temp
-
+website-docs
 # Environment variables used in tests
 .env
 

build.sh

@@ -0,0 +1,76 @@
+#!/bin/bash
+
+set -e
+
+# Get the directory of this script.
+SCRIPT_DIR=$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" &>/dev/null && pwd)
+cd "$SCRIPT_DIR"
+
+# Select appropriate versions of find and sed depending on the operating system.
+FIND=$(which gfind || which find)
+SED=$(which gsed || which sed)
+
+replace_image_path() {
+  # Update image paths in Markdown files.
+  ( cd markdown-pages
+    $FIND . -maxdepth 3 -mindepth 3 | while IFS= read -r DIR; do
+      DIR="${DIR#./}"
+      PREFIX="$(dirname "$DIR")"
+      $FIND "$DIR" -name '*.md' | while IFS= read -r FILE; do
+        $SED -r -i "s~]\(/media(/$PREFIX)?~](/media/$PREFIX~g" "$FILE"
+      done
+    done
+  )
+}
+
+move_images() {
+  # Move all image files to the target directory.
+  ( cd markdown-pages
+    $FIND . -maxdepth 3 -mindepth 3 | while IFS= read -r DIR; do
+      PREFIX="$(dirname "$DIR")"
+      # Check if the media directory exists.
+      if [ -d "$PREFIX/master/media" ]; then
+        # Create the target directory.
+        mkdir -p "../website-docs/public/media/$PREFIX"
+        # Copy all image files to the target directory.
+        cp -r "$PREFIX/master/media/." "../website-docs/public/media/$PREFIX"
+      fi
+    done
+  )
+}
+
+# The default command is build, which builds the website for production.
+CMD=build
+
+# If the argument is develop or dev, change the command to start, which builds the website for development.
+if [ "$1" == "develop" ] || [ "$1" == "dev" ]; then
+  CMD=start
+fi
+
+if [ ! -e website-docs/.git ]; then
+  if [ -d "website-docs" ]; then
+    rm -rf website-docs
+  fi
+  # Clone the pingcap/website-docs repository.
+  git clone https://github.com/pingcap/website-docs
+fi
+
+# Create a symlink to markdown-pages in website-docs/docs.
+if [ ! -e website-docs/docs/markdown-pages ]; then
+  ln -s ../../markdown-pages website-docs/docs/markdown-pages
+fi
+
+# Copy docs.json to website-docs/docs.
+cp docs.json website-docs/docs/docs.json
+
+# Run the start command for development environment. <https://www.gatsbyjs.com/docs/reference/gatsby-cli/#develop>
+if [ "$CMD" == "start" ]; then
+  (cd website-docs && yarn && yarn start)
+fi
+
+# Run the build command for production environment. <https://www.gatsbyjs.com/docs/reference/gatsby-cli/#build>
+if [ "$CMD" == "build" ]; then
+  replace_image_path
+  (cd website-docs && yarn && yarn build)
+  move_images
+fi