Instructions Jenkins Doxygen

Merge "[Added] possibility to set a radius on the active area around the theater... blureeTEST
authorLoshult <loshult@swgemu.com>
Sun, 9 Mar 2014 17:30:38 +0000 (17:30 +0000)
committergerrit <gerrit@review.swgemu.com>
Sun, 9 Mar 2014 17:30:38 +0000 (17:30 +0000)

Trivial merge