-
Alessandro Rubini authored
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>
f5c1fcaf