Skip to content

Typo fixes + fix 'make docs'#1199

Merged
gouttegd merged 2 commits intomasterfrom
typo-fixes
Mar 13, 2025
Merged

Typo fixes + fix 'make docs'#1199
gouttegd merged 2 commits intomasterfrom
typo-fixes

Conversation

@gouttegd
Copy link
Contributor

This PR:

  • fixes some typos in the documentation of the project schema;
  • fixes the make docs rule, which had been broken by a spurious line emitted by the odk.sh wrapper script.

The odk.sh wrapper scripts prints a message to let users know the
maximal amount of memory that is available to Java programs within he
container.

But the line emitted by that script prevents the `make docs` target to
work correctly, because the line ends up at the beginning of the
generated project-schema.json file.

So we print the message on stderr rather than stdout.
Those are the same fixes as from commit f3e0745, but at the right place.
@gouttegd gouttegd self-assigned this Mar 13, 2025
@gouttegd gouttegd merged commit 01d30a5 into master Mar 13, 2025
1 check passed
@gouttegd gouttegd deleted the typo-fixes branch March 13, 2025 17:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant