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

bundle docs in the server #618

Draft
wants to merge 4 commits into
base: dev
Choose a base branch
from
Draft

bundle docs in the server #618

wants to merge 4 commits into from

Conversation

sgratzl
Copy link
Member

@sgratzl sgratzl commented Jun 30, 2021

closes #617

Prerequisites:

  • Unless it is a documentation hotfix it should be merged against the dev branch
  • Branch is up-to-date with the branch to be merged with, i.e. dev
  • Build is successful
  • Code is cleaned up and formatted

Summary

builds the docs as part of the server build and hosts them under /docs

@sgratzl sgratzl added chore api change affect the API and its responses labels Jun 30, 2021
@sgratzl sgratzl self-assigned this Jun 30, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
api change affect the API and its responses chore
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Consider integrating the API docs in the API server
1 participant