Testing Javadoc generation

fulminazzo · Apr 12, 2024 · 104f7cd · 104f7cd
1 parent d4b2e67
commit 104f7cd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
@@ -34,7 +34,7 @@ jobs:
         run: |-
           ./gradlew aggregateJavaDoc
           mkdir docs
-          mv html docs/docs
+          cp -r html docs/docs
           tree .
 
 #      - name: Generate Coverage