Trying to fix Javadoc deployment

Author: fulminazzo

.github/workflows/pages.yml

@@ -31,7 +31,10 @@ jobs:
         uses: gradle/actions/setup-gradle@417ae3ccd767c252f5661f1ace9f835f9654f2b5
 
       - name: Generate Javadoc
-        run: ./gradlew aggregateJavaDoc
+        run: |-
+          ./gradlew aggregateJavaDoc
+          mkdir html/docs
+          mv html/* html/docs
 
       - run: |-
           tree .