[ci] remove deploying GH pages.

.gitlab-ci.yml

@@ -639,47 +639,6 @@ sonarqube_cov:
     - bash <(curl -s https://codecov.io/bash) -f "\!*examples*" -f "\!*third_party*" -f "\!*c\\+\\+*" -f "\!*benchmark*"
 
 
-# Deploy documentation to github-pages
-gh-pages:
-  stage: deploy
-  interruptible: false
-  extends:
-    - .default_variables
-    - .deploy_condition
-    - .before_script_git_template
-    - .use_status-job-settings
-  variables:
-    PUBLIC_REPO: git@github.com:ginkgo-project/ginkgo-generated-documentation.git
-  script:
-    # build docs
-    - mkdir -p ${CI_JOB_NAME} && pushd ${CI_JOB_NAME}
-    - cmake ${CI_PROJECT_DIR}
-        -DCMAKE_CXX_COMPILER=${CXX_COMPILER}
-        -DCMAKE_CUDA_COMPILER=${CUDA_COMPILER} -DCMAKE_BUILD_TYPE=${BUILD_TYPE}
-        -DBUILD_SHARED_LIBS=ON ${EXTRA_CMAKE_FLAGS} -DGINKGO_DEVEL_TOOLS=OFF
-        -DGINKGO_BUILD_REFERENCE=OFF -DGINKGO_BUILD_OMP=OFF -DGINKGO_BUILD_CUDA=OFF
-        -DGINKGO_BUILD_HIP=OFF -DGINKGO_BUILD_SYCL=OFF -DGINKGO_BUILD_MPI=OFF
-        -DGINKGO_BUILD_TESTS=OFF -DGINKGO_BUILD_EXAMPLES=OFF
-        -DGINKGO_BUILD_DOC=ON -DGINKGO_DOC_GENERATE_PDF=ON
-    - make usr
-    - make pdf
-    - popd
-    # publish it
-    - git clone ${PUBLIC_REPO} -b gh-pages gh-pages-repo
-    - rm -rf gh-pages-repo/doc/${CI_COMMIT_REF_NAME}
-    - mkdir -p gh-pages-repo/doc
-    - mkdir -p gh-pages-repo/doc/pdf
-    - cp -r ${CI_JOB_NAME}/doc/usr gh-pages-repo/doc/${CI_COMMIT_REF_NAME}
-    - cp ${CI_JOB_NAME}/doc/pdf.pdf gh-pages-repo/doc/pdf/${CI_COMMIT_REF_NAME}.pdf
-    - export CURRENT_SHA="$(git rev-parse --short HEAD)"
-    - cd gh-pages-repo
-    - git add -A
-    - git diff --quiet HEAD ||
-      (git commit -m "Update documentation from ginkgo-project/ginkgo@${CURRENT_SHA}" && git push)
-  dependencies: null
-  needs: []
-
-
 threadsanitizer:
   stage: QoS_tools
   extends: