From 104f7cd12ae50f577fc96356afe7bdeb12dfb686 Mon Sep 17 00:00:00 2001
From: Fulminazzo <fulminazzo21@gmail.com>
Date: Fri, 12 Apr 2024 23:06:53 +0200
Subject: [PATCH] Testing Javadoc generation

---
 .github/workflows/pages.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
index 46277502..27d3df15 100644
--- 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