-
Alessandro Rubini authored
This removes some stuff from the developer's manual (was: "wrs-build") and adds it to the user's manual. The stuff is still far from being perfect, but at least it makes sense and can be made better for release 5. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
eacaf2df