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

Update docs on updating docs #259

Merged
merged 8 commits into from
Jan 16, 2025
Merged

Update docs on updating docs #259

merged 8 commits into from
Jan 16, 2025

Conversation

hoganwr
Copy link
Contributor

@hoganwr hoganwr commented Jan 10, 2025

We decided to use the ODK's "make update_docs" workflow for publishing OMRSE docs on GitHub Pages. However, we want to ensure that everyone does their changes on a branch and has them reviewed before merging them into the main branch. Also, final deployment to GitHub Pages should be done only from the main branch. And also, we want to be clear that all documentation of modeling decisions are made in the modeling folder.

Therefore, I updated the documentation to describe the procedure, attempting to follow the procedure as I described it. This branch & pull request is for review, comment, and finalization before the merger into main (per the procedure!)

Replaced pointer to ODK managing docs to OMRSE-specific instructions for managing docs
Some fixes plus added key point to only add documentation of classes, definitions, etc. in the modeling folder.
Added section on deployment of docs
Cleanup, clarification, added link
Trying to fix link to ManageDocumentation.md
@hoganwr hoganwr requested review from dexink and dillerm January 14, 2025 21:33
Copy link
Collaborator

@dillerm dillerm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good!

@dexink
Copy link
Collaborator

dexink commented Jan 16, 2025

looks good to me too

@hoganwr hoganwr merged commit 199e09a into main Jan 16, 2025
1 check passed
@hoganwr hoganwr deleted the update-docs-on-updating-docs branch January 16, 2025 20:01
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.

3 participants