From 7e1dd6530f3d3fdde64ee0ea220e8a17f557b486 Mon Sep 17 00:00:00 2001 From: Nikita Bobko Date: Tue, 15 Apr 2025 17:04:30 +0200 Subject: [PATCH] [docs] Add redirect from root page Co-authored-by: Zalim Bashorov --- build-docs.sh | 3 ++- docs/index.html | 11 +++++++++++ 2 files changed, 13 insertions(+), 1 deletion(-) create mode 100644 docs/index.html diff --git a/build-docs.sh b/build-docs.sh index 4138f9a2..377b3986 100755 --- a/build-docs.sh +++ b/build-docs.sh @@ -24,7 +24,8 @@ cp-docs() { } build-site() { - cp-docs .site + cp-docs ./.site + cp ./docs/index.html ./.site cd .site # Delete "aerospace " prefifx in synopsis diff --git a/docs/index.html b/docs/index.html new file mode 100644 index 00000000..fd8ee428 --- /dev/null +++ b/docs/index.html @@ -0,0 +1,11 @@ + + + + + + Redirect + + + Redirect + + -- 2.51.2