Include Javadoc in documentation

.github/workflows/deploy-website.yml

@@ -6,6 +6,7 @@ on:
 
 jobs:
   deploy_website:
+    name: "Deploy website"
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
@@ -19,5 +20,8 @@ jobs:
       - name: Install necessary tools
         run: pip install mkdocs mkdocs-material
 
+      - name: Copy Javadoc
+        run: cp -r javadoc/ docs/javadoc/
+
       - name: Deploy website
         run: mkdocs gh-deploy --force

mkdocs.yml

@@ -98,3 +98,6 @@ nav:
       - 4.2: /javadoc/4.2/
       - 4.1: /javadoc/4.1/
       - 4.0: /javadoc/4.0/
+
+exclude_docs: |
+  javadoc/