Create separate generation phase for docs #592
Labels
documentation
Improvements or additions to documentation
infrastructure
Issues related to building the project, CI/CD, deployments etc.
I'm starting to think that we need a separate file for such tasks with documentation in order not to run them during every build, maybe in a separate maven profile. But it can be done later in a separate PR.
Originally posted by @petertrr in #586 (comment)
The text was updated successfully, but these errors were encountered: