Skip to content

Migrate documentation site to Antora #2703

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
mp911de opened this issue Sep 7, 2023 · 0 comments
Closed

Migrate documentation site to Antora #2703

mp911de opened this issue Sep 7, 2023 · 0 comments
Assignees
@mp911de
Labels
type: documentation A documentation update
Milestone
3.2 M3 (2023.1.0)

Comments

@mp911de
Copy link
Member

mp911de commented Sep 7, 2023

No description provided.

@mp911de mp911de added the type: documentation A documentation update label Sep 7, 2023
@mp911de mp911de added this to the 3.2 M3 (2023.1.0) milestone Sep 7, 2023
@mp911de mp911de self-assigned this Sep 7, 2023
mp911de added a commit that referenced this issue Sep 8, 2023
@mp911de
Migrate documentation site to Antora.
ba76c75 
Closes #2703
@mp911de mp911de closed this as completed in 0014564 Sep 8, 2023
mp911de added a commit that referenced this issue Sep 11, 2023
@mp911de
Polishing.
68c77b9 
Use dynamic copyright year.

See #2703
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mp911de mp911de

Labels
type: documentation A documentation update
Projects
None yet
Milestone
3.2 M3 (2023.1.0)
Development

No branches or pull requests
1 participant
@mp911de