doc: renamed wrs-build and describe the new manuals
We now have a developer's manual, even if the content needs a little
shuffling around. We also describe other manuals even though we still miss
a user's manual, as of this commit.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
Showing
Please
register
or
sign in
to comment