Instructions Jenkins Doxygen

Merge "[fixed] frenzied graul stats. #mantis 4735" into unstable
authorVictor Popovici <theanswer@swgemu.com>
Fri, 31 Jan 2014 12:58:22 +0000 (12:58 +0000)
committergerrit <gerrit@review.swgemu.com>
Fri, 31 Jan 2014 12:58:23 +0000 (12:58 +0000)

Trivial merge