Instructions Jenkins Doxygen

Merge "[Added] The jedi manager is now notified about player creation, login and...
authorVictor Popovici <theanswer@swgemu.com>
Fri, 27 Sep 2013 09:11:52 +0000 (09:11 +0000)
committergerrit <gerrit@review.swgemu.com>
Fri, 27 Sep 2013 09:11:52 +0000 (09:11 +0000)

Trivial merge