Instructions Jenkins Doxygen

Merge "[Changed] go_to_theater to provide spawnedMobileList to the onSuccessfulSpawn...
authorLoshult <loshult@swgemu.com>
Thu, 8 May 2014 19:53:34 +0000 (19:53 +0000)
committergerrit <gerrit@review.swgemu.com>
Thu, 8 May 2014 19:53:34 +0000 (19:53 +0000)

Trivial merge