fix javadoc generation (#1120)

* fix javadoc generation

Signed-off-by: Gregor Zeitlinger <[email protected]>

* use same javadoc command in pr as for gh pages

Signed-off-by: Gregor Zeitlinger <[email protected]>

* fix javadoc generation

Signed-off-by: Gregor Zeitlinger <[email protected]>

---------

Signed-off-by: Gregor Zeitlinger <[email protected]>

Author: zeitlinger

.github/workflows/build.yml

@@ -24,4 +24,4 @@ jobs:
       - name: Run the Maven verify phase
         run: |
           ./mvnw clean install
-          ./mvnw javadoc:jar
+          ./mvnw javadoc:javadoc

.github/workflows/github-pages.yaml

@@ -64,7 +64,7 @@ jobs:
       - name: Make Javadoc
         run: ./mvnw -B clean compile javadoc:javadoc javadoc:aggregate
       - name: Move the Javadoc to docs/static/api/
-        run: mv ./target/site/apidocs ./docs/static/api && echo && echo 'ls ./docs/static/api' && ls ./docs/static/api
+        run: mv ./target/reports/apidocs ./docs/static/api && echo && echo 'ls ./docs/static/api' && ls ./docs/static/api
       - name: Setup Pages
         id: pages
         uses: actions/configure-pages@v5

pom.xml

@@ -269,7 +269,7 @@
                     <noqualifier>all</noqualifier>
                     <show>public</show>
                     <excludePackageNames>io.prometheus.metrics.expositionformats.generated.*</excludePackageNames>
-                    <sourcepath>${project.build.sourceDirectory}</sourcepath>
+                    <source>8</source>
                 </configuration>
             </plugin>
             <plugin>