From 0abcd53f22be95b88df5bd16217e1611f7dc8927 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20L=C3=BCck?= <christian@clue.engineering>
Date: Sun, 5 Jan 2025 15:24:57 +0100
Subject: [PATCH 1/2] Update mkdocs instructions to build with correct
 directory permissions

---
 .github/workflows/ci.yml | 2 +-
 docs/README.md           | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3d1a0e5..7ed2cfc 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -231,5 +231,5 @@ jobs:
     runs-on: ubuntu-24.04
     steps:
       - uses: actions/checkout@v6
-      - run: docker compose -f docs/compose.yaml run build
+      - run: mkdir -p build/ && docker compose -f docs/compose.yaml run --rm -u $(id -u):$(id -g) build
       - run: ls -la build/docs/
diff --git a/docs/README.md b/docs/README.md
index bfcaa73..38c0a80 100644
--- a/docs/README.md
+++ b/docs/README.md
@@ -29,7 +29,7 @@ If you want to generate a static HTML folder for deployment, you can again
 use a Docker container in the project root directory like this:
 
 ```bash
-docker compose -f docs/compose.yaml run -u $(id -u) build
+mkdir -p build/ && docker compose -f docs/compose.yaml run --rm -u $(id -u):$(id -g) build
 ```
 
 The resulting `build/docs/` should then be deployed behind a web server.

From 0868eca639f426783a66888862aeedab7fee5bdb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20L=C3=BCck?= <christian@clue.engineering>
Date: Sun, 11 Jan 2026 13:57:03 +0100
Subject: [PATCH 2/2] Improve mkdocs instructions to use SIGINT to stop and
 separate pull

---
 .github/workflows/ci.yml | 1 +
 docs/compose.yaml        | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7ed2cfc..32c0ba5 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -231,5 +231,6 @@ jobs:
     runs-on: ubuntu-24.04
     steps:
       - uses: actions/checkout@v6
+      - run: docker compose -f docs/compose.yaml pull
       - run: mkdir -p build/ && docker compose -f docs/compose.yaml run --rm -u $(id -u):$(id -g) build
       - run: ls -la build/docs/
diff --git a/docs/compose.yaml b/docs/compose.yaml
index 6a68cdb..c654e48 100644
--- a/docs/compose.yaml
+++ b/docs/compose.yaml
@@ -8,6 +8,7 @@ services:
     volumes:
       - ./mkdocs.yml:/project/mkdocs.yml:ro
       - ./:/project/docs/:ro
+    stop_signal: SIGINT
 
   build:
     extends: mkdocs