Minor docs fix #3932

	name: PR Build

	on: pull_request

	env:
	DEVELOCITY_ACCESS_KEY: ${{ secrets.GRADLE_ENTERPRISE_SECRET_ACCESS_KEY }}

	permissions:
	contents: read

	jobs:
	build:
	name: Build
	runs-on: ubuntu-latest
	if: ${{ github.repository == 'spring-projects/spring-security' }}
	steps:
	- uses: actions/checkout@v4
	- name: Set up gradle
	uses: spring-io/spring-gradle-build-action@v2
	with:
	java-version: '17'
	distribution: 'temurin'
	- name: Build with Gradle
	run: ./gradlew clean build --continue --scan
	generate-docs:
	name: Generate Docs
	runs-on: ubuntu-latest
	if: ${{ github.repository == 'spring-projects/spring-security' }}
	steps:
	- uses: actions/checkout@v4
	- name: Set up gradle
	uses: spring-io/spring-gradle-build-action@v2
	with:
	java-version: '17'
	distribution: 'temurin'
	- name: Run Antora
	run: ./gradlew -PbuildSrc.skipTests=true :spring-security-docs:antora
	- name: Upload Docs
	id: upload
	uses: actions/upload-artifact@v4
	with:
	name: docs
	path: docs/build/site
	overwrite: true

Provide feedback