Skip to content
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.

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

Better adhere to plugin documentation recommendations #603

Merged
merged 2 commits into from
Jul 26, 2023

Conversation

timtebeek
Copy link
Contributor

What's changed?

  • Partially resolve mvn docck:check errors
  • Generate plugin documentation (not clear how)
  • Publish plugin documentation to GitHub Actions, as seen with CLI

What's your motivation?

Get started with #602

Anything in particular you'd like reviewers to focus on?

Would be helpful if anyone knows the next steps. I don't.

Anyone you would like to review specifically?

@mike-solomon

Have you considered any alternatives or workarounds?

Not really; all seems to be heavily standardized and documented up to a point.
We might need to look at other third party plugins that publish their docs.

@timtebeek timtebeek added the documentation Improvements or additions to documentation label Jul 18, 2023
@timtebeek timtebeek changed the title Generate and publish plugin documentation Better adhere to plugin documentation recommendations Jul 26, 2023
@timtebeek timtebeek marked this pull request as ready for review July 26, 2023 23:11
@timtebeek timtebeek merged commit 3313bbf into main Jul 26, 2023
1 check passed
@timtebeek timtebeek deleted the tim/publish_site branch July 26, 2023 23:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

2 participants