docs: added redirects to CI

.gitlab-ci.yml

@@ -66,8 +66,10 @@ pages:
     - mkdir public
     - cd docs
     - make versionedhtml
-    - cp -r _build/*/ ../public/
-    - cp -r _build/$(git tag --sort=version:refname | tail -n1)/* ../public/
+    - cp -r _build/$(git tag --sort=version:refname | tail -n1)/* _build/
+    - python redirects.py
+    - cp -r _build/* ../public/
+    - find ../public/
   artifacts:
     paths: ['public']
     expire_in: 1d