Instructions Jenkins Doxygen

Merge "[Added] functionality to save the id of the spawned old man on the player...
authorVictor Popovici <theanswer@swgemu.com>
Sun, 20 Oct 2013 10:23:50 +0000 (10:23 +0000)
committergerrit <gerrit@review.swgemu.com>
Sun, 20 Oct 2013 10:23:50 +0000 (10:23 +0000)

Trivial merge