Merge pull request #904 from korpling/fix-release-documentation-deploy

Directly generate the mdbook output in the target gh-pages folder

Author: thomaskrause

.github/workflows/deploy.yml

@@ -42,17 +42,13 @@ jobs:
       - run: misc/download-mdbook.sh 0.5.2
         env:
           OS_NAME: linux
-      - name: Generate the user documentation
-        run: mdbook build --dest-dir book/${SHORT_VERSION}/user-guide/ docs/user-guide/
-      - name: Generate the developer documentation
-        run: mdbook build --dest-dir book/${SHORT_VERSION}/developer-guide/ docs/developer-guide/
       - run: git clone -q  -b gh-pages https://github.com/$GITHUB_REPOSITORY gh-pages
       - name: Remove old files for this version
         run: rm -Rf gh-pages/$SHORT_VERSION
-      - name: copy the user documentation content
-        run: cp -R docs/user-guide/book/* gh-pages/
-      - name: copy the developer documentation content
-        run: cp -R docs/developer-guide/book/* gh-pages/
+      - name: Generate the user documentation
+        run: mdbook build --dest-dir gh-pages/${SHORT_VERSION}/user-guide/  docs/user-guide/
+      - name: Generate the developer documentation
+        run: mdbook build --dest-dir gh-pages/${SHORT_VERSION}/developer-guide/book/  docs/developer-guide/
       - run: git add $SHORT_VERSION
         working-directory: gh-pages
       - run: git -c user.name='gh-actions' -c user.email='gh-actions' commit --allow-empty -m "add documentation for version $SHORT_VERSION"