Fixed wrong javadoc target directory in GitHub workflow #54

	name: Build and publish Maven site

	on:
	push:
	branches: [ main ]

	jobs:
	site:
	runs-on: ubuntu-latest

	env:
	# WebFX requires at least JDK 13 due to javac bugs in prior versions (otherwise JDK 11+ should be enough in theory)
	jdk-version: '19'
	repo-dir: .
	target-site-dir: './target/staging/webfx-platform'
	web-push-repository-name: 'webfx-netlify'
	web-push-repository-owner: 'webfx-project'
	web-push-branch: 'site-platform'
	web-push-username: ${{ github.actor }}
	web-push-email: ${{ secrets.API_GITHUB_EMAIL }}
	web-site-url: 'https://site-platform.webfx.dev'

	steps:

	# Set up the JDK and Maven settings.xml
	- name: Set up JDK ${{ env.jdk-version }}
	uses: actions/setup-java@v4
	with:
	distribution: 'zulu'
	java-version: ${{ env.jdk-version }}

	# Checkout this repository
	- name: Checkout this repository
	uses: actions/checkout@v4
	with:
	path: ${{ env.repo-dir }}

	# Build Maven site
	- name: Build Maven site
	run: mvn -B -Dplugin.site.param.topSiteURL=${{ env.web-site-url }} install site site:stage

	- name: Publish Maven site to ${{ env.web-push-branch }} branch
	uses: cpina/github-action-push-to-another-repository@master
	env:
	API_TOKEN_GITHUB: ${{ secrets.API_GITHUB_TOKEN }}
	with:
	source-directory: ${{ env.target-site-dir }}
	destination-repository-username: ${{ env.web-push-repository-owner }}
	destination-repository-name: ${{ env.web-push-repository-name }}
	target-branch: ${{ env.web-push-branch }}
	destination-github-username: ${{ env.web-push-username }}
	user-email: ${{ env.web-push-email }}

Provide feedback