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

Improved documentation for setting deegree workspace root #1529

Merged
merged 1 commit into from
Jun 7, 2023

Conversation

tfr42
Copy link
Member

@tfr42 tfr42 commented Jun 5, 2023

This PR improves the deegree webserivces handbook how to set the deegree workspace root directory with environment variable or Java system property. It also emphases the necessity that the directory is writable for the process running deegree. The PR contains also some minor enhancements in formating and highlighting content with icons.

…t directory and minor enhancements in formating and highlighting content
@tfr42 tfr42 added the documentation documentation label Jun 5, 2023
@tfr42 tfr42 added this to the 3.5 milestone Jun 5, 2023
@tfr42 tfr42 added the enhancement enhancement or improvement label Jun 6, 2023
@tfr42 tfr42 requested a review from stephanr June 7, 2023 16:16
@dstenger dstenger requested review from julianzz98 and removed request for stephanr June 7, 2023 16:17
@stephanr stephanr merged commit 1f32e4b into deegree:main Jun 7, 2023
@tfr42 tfr42 deleted the enhanceDocumentationWorkspaceLoc branch June 7, 2023 16:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation documentation enhancement enhancement or improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants