Andreas Schneider 6d09104ad3 Rename build directory to obj. ...

Some buildsystem use build in the pathname and so we will filter out
e.g. docs generation.

2014-01-16 08:53:32 +01:00

..

build_make.sh

Rename build directory to obj.

2014-01-16 08:53:32 +01:00