diff --git a/.github/workflows/docc.yml b/.github/workflows/docc.yml
index 08aacba..84628ed 100644
--- a/.github/workflows/docc.yml
+++ b/.github/workflows/docc.yml
@@ -127,6 +127,7 @@ jobs:
echo "=== Fixing paths in JavaScript files ==="
find DocsBuild -type f -name "*.js" -exec sed -i '' \
-e 's|"/data/|"/'$DOCC_HOSTING_BASE_PATH'/data/|g' \
+ -e 's|"/documentation/|"/'$DOCC_HOSTING_BASE_PATH'/documentation/|g' \
-e 's|"/tutorials/|"/'$DOCC_HOSTING_BASE_PATH'/tutorials/|g' \
-e 's|"/index/|"/'$DOCC_HOSTING_BASE_PATH'/index/|g' \
{} +
@@ -135,6 +136,26 @@ jobs:
echo "Fixed index.html:"
head -5 DocsBuild/index.html
+ - name: Create root redirect
+ run: |
+ # Create redirect from root to documentation/newnav
+ cat > DocsBuild/index.html << 'EOF'
+
+
+
+
+ Redirecting to NewNav Documentation
+
+
+
+
+ Redirecting to NewNav Documentation...
+
+
+
+ EOF
+ echo "Created redirect to documentation/newnav/"
+
- name: Upload documentation artifact
if: github.event_name == 'push'
uses: actions/upload-pages-artifact@v3