From a5898c2aedf76066adbe16d08d12c451e285b6ce Mon Sep 17 00:00:00 2001
From: Nick Wellnhofer <wellnhofer@aevum.de>
Date: Fri, 2 May 2025 15:08:19 +0200
Subject: [PATCH] doc: Add redirects for GitLab pages

---
 .gitlab-ci.yml | 1 +
 doc/_redirects | 7 +++++++
 2 files changed, 8 insertions(+)
 create mode 100644 doc/_redirects

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0f5686ffc..25d1461fd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -326,6 +326,7 @@ pages:
   needs: [install]
   script:
     - cp -r install/share/doc/libxml2 public
+    - cp doc/_redirects public
   artifacts:
     paths:
       - public
diff --git a/doc/_redirects b/doc/_redirects
new file mode 100644
index 000000000..c284cecdc
--- /dev/null
+++ b/doc/_redirects
@@ -0,0 +1,7 @@
+# Redirects for GitLab pages
+
+# Start page
+/ /html/index.html 302
+
+# Old documentation
+/devhelp/* /html/index.html