add deploy site workflow

Author: quarckster

.github/workflows/deploy-site.yaml

@@ -0,0 +1,24 @@
+name: "Deploy site"
+
+on:
+  workflow_dispatch:
+    inputs:
+      branch:
+        description: "OpenSSL branch"
+        required: true
+        default: "master"
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: "Fetch gh-pages branch"
+        run: git fetch origin gh-pages --depth=1
+      - name: "Set permissions"
+        run: chmod -R a+rwX $(pwd)
+      - name: "Build site"
+        run: |
+          podman run -it -v $(pwd):/mnt -w /mnt --userns=keep-id \
+                 quay.io/openssl-ci/docs:20240705-204944 \
+                 python build.py ${{ github.event.inputs.branch }}

build.py

@@ -32,7 +32,10 @@ def build_manpages(tmp_dir: str):
 
 
 def clean_docs():
-    shutil.rmtree("docs/")
+    try:
+        shutil.rmtree("docs/")
+    except FileNotFoundError:
+        pass
 
 
 def create_dirs():
@@ -67,7 +70,7 @@ def copy_images(tmp_dir: str):
 
 
 def build_site(version: str):
-    return subprocess.run(["mike", "deploy", version, "--ignore-remote-status"]).returncode
+    return subprocess.run(["mike", "deploy", version]).returncode
 
 
 def main():

scaffold/robots.txt

@@ -0,0 +1,2 @@
+User-agent: *
+Disallow: /