Instructions Jenkins Doxygen

Merge "[fixed] stability issue" into unstable
authorVictor Popovici <victorpopovici@gmail.com>
Tue, 24 Dec 2013 09:58:42 +0000 (09:58 +0000)
committergerrit <gerrit@review.swgemu.com>
Tue, 24 Dec 2013 09:58:42 +0000 (09:58 +0000)

Trivial merge