Wido den Hollander a7b82f7b0b docs: Add build script
There is currently no script to build the docs with, this is an easy script
to build them.

An example how I use it:
$ cd ~wido/repos/cloudstack
$ tools/build/build_docs.sh -s $(echo ~wido/repos/cloudstack)
2012-09-24 14:40:00 +02:00
..
2012-09-24 14:40:00 +02:00
2012-09-20 10:21:56 -04:00