Instructions Jenkins Doxygen

Merge "[fixed] ancient reptilian flier lair. Mantis #4706" into unstable
authorVictor Popovici <theanswer@swgemu.com>
Fri, 31 Jan 2014 12:59:43 +0000 (12:59 +0000)
committergerrit <gerrit@review.swgemu.com>
Fri, 31 Jan 2014 12:59:46 +0000 (12:59 +0000)

Trivial merge