Instructions Jenkins Doxygen

Merge "[fixed] stability issue" into unstable
authorVictor Popovici <theanswer@swgemu.com>
Thu, 1 May 2014 19:48:12 +0000 (19:48 +0000)
committergerrit <gerrit@review.swgemu.com>
Thu, 1 May 2014 19:48:12 +0000 (19:48 +0000)

Trivial merge