Merge branch 'master' into build_manpage

Author: tdgroot

.github/workflows/deploy.yaml

@@ -25,7 +25,7 @@ jobs:
       - name: Set env for production build
         if: github.ref == 'refs/heads/master'
         run: |
-          echo "DOCS_BASE_URL=https://docs.hypernode.io/" >> $GITHUB_ENV
+          echo "DOCS_BASE_URL=https://docs.hypernode.com/" >> $GITHUB_ENV
       - run: hypernode-deploy build -vvv
       - name: archive production artifacts
         uses: actions/upload-artifact@v3

hypernode/redirect/generate_nginx_redirects.py

@@ -1,4 +1,5 @@
 import os.path
+import re
 from pathlib import Path
 from typing import List
 
@@ -21,6 +22,8 @@ def get_path_for_doc(doc: Path) -> str:
     )
     path = path.replace("/./", "/")
     path = path.replace("/index.html", "/")
+    base_url = os.getenv("DOCS_BASE_URL", "/")
+    path = re.sub(r"^/", base_url, path)
     return path