Also check that building documentation for website works

Author: marc1706

.github/workflows/tests.yml

@@ -50,3 +50,14 @@ jobs:
         with:
           name: Documentation PDF
           path: ${{ github.workspace }}/documentation/*.pdf
+
+  build-user-docs-website:
+    name: 'Build user docs for website'
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Build documentation for website
+        working-directory: ${{ github.workspace }}/documentation
+        run: |
+          mkdir build_website
+          ./create_pdf.sh build_website

documentation/create_docs.sh

@@ -1,7 +1,7 @@
 #!/bin/bash
 
 # set this to the correct path
-path="/var/www/phpbb.com/htdocs/support/documentation/3.3"
+path=${1:-'/var/www/phpbb.com/htdocs/support/documentation/3.3'}
 
 echo "Removing build directory"
 rm -rf build