Skip to content

Conversation

@rwinch
Copy link
Member

@rwinch rwinch commented Aug 2, 2023

Changes for docs-build and sources using antora-maven-plugin

  • You have read the Spring Data contribution guidelines.
  • You use the code formatters provided here and have them applied to your changes. Don’t submit any formatting related changes.
  • You submit test cases (unit or integration tests) that back your changes.
  • You added yourself as author in the headers of the classes you touched. Amend the date range in the Apache license header if needed. For new types, add the license header (copy from another file and set the current year only).

@spring-projects-issues spring-projects-issues added the status: waiting-for-triage An issue we've not yet triaged label Aug 2, 2023
rwinch added 2 commits August 18, 2023 16:18
Changes for docs-build and sources using antora-maven-plugin
The older tag is in a different start path and does not generate the
antora.yml file correctly. This commit adds the older tag with a different
start_path and a version-fix extension to ensure the version is added
correctly.
@rwinch rwinch force-pushed the docs-build-antora-maven-plugin branch from f780765 to e7fe511 Compare August 18, 2023 21:19
gregturn pushed a commit that referenced this pull request Aug 18, 2023
Changes for docs-build and sources using antora-maven-plugin

See #3095
gregturn pushed a commit that referenced this pull request Aug 18, 2023
The older tag is in a different start path and does not generate the
antora.yml file correctly. This commit adds the older tag with a different
start_path and a version-fix extension to ensure the version is added
correctly.

See #3095
@gregturn gregturn closed this Aug 18, 2023
@gregturn gregturn self-assigned this Aug 18, 2023
@gregturn gregturn added type: documentation A documentation update type: enhancement A general enhancement and removed status: waiting-for-triage An issue we've not yet triaged labels Aug 18, 2023
@gregturn gregturn added this to the 3.2 M3 (2023.1.0) milestone Aug 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: documentation A documentation update type: enhancement A general enhancement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants