From 2e9bfa3d8c6d1538e5aa7bb9a62659d10ac4978e Mon Sep 17 00:00:00 2001
From: Peter Havekes <peter@havekes.eu>
Date: Tue, 14 Nov 2023 13:40:24 +0100
Subject: [PATCH] Fix documentation generation

---
 .github/workflows/doc.yml | 6 +++++-
 server/pom.xml            | 1 +
 server/src/test.txt       | 0
 server/src/test1.txt      | 0
 4 files changed, 6 insertions(+), 1 deletion(-)
 create mode 100644 server/src/test.txt
 create mode 100644 server/src/test1.txt

diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index aadbb472..b938aa4c 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -66,7 +66,11 @@ jobs:
         if: steps.changes.outputs.server == 'true'
 
       - name: Generate openapi.json
-        run: cd server && mvn spring-boot:run & && sleep 15 && curl -q http://localhost:8080/ui/api-docs -o server/target/openapi.json  && pkill -f java
+        run: |
+          cd server
+          mvn spring-boot:run &
+          sleep 15 && curl -q http://localhost:8080/ui/api-docs -o server/target/openapi.json
+          pkill -f java
         if: steps.changes.outputs.server == 'true'
 
       - name: Test api-specs with redoc-cli
diff --git a/server/pom.xml b/server/pom.xml
index 8a8728b6..2ae9d10f 100644
--- a/server/pom.xml
+++ b/server/pom.xml
@@ -10,6 +10,7 @@
         <relativePath>../pom.xml</relativePath>
     </parent>
 
+
     <artifactId>access-server</artifactId>
     <packaging>jar</packaging>
     <name>access-server</name>
diff --git a/server/src/test.txt b/server/src/test.txt
new file mode 100644
index 00000000..e69de29b
diff --git a/server/src/test1.txt b/server/src/test1.txt
new file mode 100644
index 00000000..e69de29b