ci: Remove unnecessary javadoc copy command

Co-authored-by: Gaëtan Muller <[email protected]> Signed-off-by: utzcoz <[email protected]>
MGaetan89 · May 4, 2024 · a262eae · a262eae
1 parent 6a48069
commit a262eae
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 6 deletions.
diff --git a/.github/workflows/build-website.yml b/.github/workflows/build-website.yml
@@ -20,8 +20,5 @@ jobs:
       - name: Install necessary tools
         run: pip install -r requirements.txt
 
-      - name: Copy Javadoc
-        run: cp -r javadoc/ docs/javadoc/
-
       - name: Build website
         run: mkdocs build
diff --git a/.github/workflows/deploy-website.yml b/.github/workflows/deploy-website.yml
@@ -25,8 +25,5 @@ jobs:
       - name: Install necessary tools
         run: pip install -r requirements.txt
 
-      - name: Copy Javadoc
-        run: cp -r javadoc/ docs/javadoc/
-
       - name: Deploy website
         run: mkdocs gh-deploy --force