genodelabs/genode — pull request #108 by ukn (2012-02-11 17:03:16+00:00)
Title: Minor alterations made to the documentation (doc/build_system.txt).

- create_builddir is located at '/tool/' not
'/tool/builddir/'

- './tool/create_builddir linux_x86 BUILD_DIR=/tmp/build.linux_x86' will
generate the build directory '/tmp/build.linux_x86/' not
'/build.linux_x86/'

- some other small changes.