[PATCH] Documentation: User manual, "barebox" section

[Sascha Hauer]

On Mon, Jun 30, 2014 at 10:41:58AM -0400, Robert P. J. Day wrote:
> 
> Various grammar/font fixes to that section, including adding an
> additional section describing how to properly do "out of tree"
> configuration and building.
> 
> Signed-off-by: Robert P. J. Day <rpjday at crashcourse.ca>

Thanks for documenting the out of tree build. I always forget how to do
this. Finally I have a place to look at ;)

BTW buildinf the documentation out of tree is currently broken. This is
because we autogenerate the command files:

	@$(srctree)/Documentation/gen_commands.py $(srctree) $(srctree)/Documentation/command

We should generate them in $(objtree), but then we the autogenerated
command files in another place than the rest of the documentation.
sphinx expects a single directory though.

I have no good idea how to solve this, other than copying all doc files
to $(objtree)/Documentation before calling sphinxs-build.

Sascha


-- 
Pengutronix e.K.                           |                             |
Industrial Linux Solutions                 | http://www.pengutronix.de/  |
Peiner Str. 6-8, 31137 Hildesheim, Germany | Phone: +49-5121-206917-0    |
Amtsgericht Hildesheim, HRA 2686           | Fax:   +49-5121-206917-5555 |