CI build: fix "create docs" step

Like the javadocs in aspectjrt and aspectjweaver (if the releas profile
is active), for docs also copy the docs in the package phase to the
aj-dist directory.

Signed-off-by: Alexander Kriegisch <Alexander@Kriegisch.name>

diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
index 44b0bec0f4fce2d2a59d8042d544fc7ded80fba7..894bd00cddab978c00f1ce7513242aebffe101ce 100644 (file)
--- a/.github/workflows/maven.yml
+++ b/.github/workflows/maven.yml
@@ -83,7 +83,7 @@ jobs:
             aspectjtools/target/flattened-pom.xml
 
       - name: Create docs
-        run: ./mvnw -B --file pom.xml -DskipTests process-resources -pl docs -P create-docs
+        run: ./mvnw -B --file pom.xml -DskipTests package -pl docs -P create-docs
 
       - name: Attach docs to build
         uses: actions/upload-artifact@v3