diff --git a/.github/workflows/deploy-website.yml b/.github/workflows/deploy-website.yml index 92ed92703..64d213db4 100644 --- a/.github/workflows/deploy-website.yml +++ b/.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 diff --git a/mkdocs.yml b/mkdocs.yml index 6de02690d..ffb483994 100644 --- a/mkdocs.yml +++ b/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/