[docs] update the index page #5

	#
	# Copyright 2023 Ververica Inc.
	#
	# Licensed under the Apache License, Version 2.0 (the "License");
	# you may not use this file except in compliance with the License.
	# You may obtain a copy of the License at
	#
	# http://www.apache.org/licenses/LICENSE-2.0
	#
	# Unless required by applicable law or agreed to in writing, software
	# distributed under the License is distributed on an "AS IS" BASIS,
	# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
	# See the License for the specific language governing permissions and
	# limitations under the License.

	name: build_docs

	# execute this docs build workflow automatically when new push happens in any branch
	on:
	push:
	paths:
	- 'docs/**'

	jobs:

	build_docs_job:
	runs-on: ubuntu-latest
	container: debian:buster-slim

	steps:

	- name: Prereqs
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: \|
	apt-get update
	apt-get install -y git
	git clone "https://token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git" .
	shell: bash

	- name: Execute script to build our documentation and update pages
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: "docs/build_docs.sh"
	shell: bash

Provide feedback