wg: Add DOC Working Group #3815
Conversation
doc/wg/documentation/README.md
Outdated
| The DOC working group maintains: | ||
|
|
||
| - https://github.com/tock/book | ||
| - https://github.com/tock/tock/tree/master/doc |
There was a problem hiding this comment.
Should this exclude normative documentation like TRDs? I don't foresee this being a problem in practice, but it might technically create a conflict in purview of those between Core and DOC WGs.
There was a problem hiding this comment.
Adding to this, that last folder also contains documentation of other working groups (such as call notes). I'm not sure whether the burden of maintaining that should be placed on a DOC WG as well.
There was a problem hiding this comment.
Should this exclude normative documentation like TRDs?
Yes I think so.
contains documentation of other working groups (such as call notes). I'm not sure whether the burden of maintaining that should be placed on a DOC WG as well.
I agree this should be more narrowly scoped.
|
I'm interested |
Pull Request Overview
This pull request would establish a new working group focused on documentation.
TODO or Help Wanted
Is anyone interested in joining?
Is the scope correct?
Documentation Updated
/docs, or no updates are required.Formatting
make prepush.