Instructions Jenkins Doxygen

Merge "[fixed] stability issues" into unstable
authorVictor Popovici <victorpopovici@gmail.com>
Sat, 7 Dec 2013 21:49:08 +0000 (21:49 +0000)
committergerrit <gerrit@review.swgemu.com>
Sat, 7 Dec 2013 21:49:08 +0000 (21:49 +0000)

Trivial merge