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