Instructions Jenkins Doxygen

Merge "[fixed] stability issue" into unstable
authorVictor Popovici <victorpopovici@gmail.com>
Fri, 30 Aug 2013 21:13:05 +0000 (21:13 +0000)
committerGerrit Code Review <gerrit2@46493.box.local>
Fri, 30 Aug 2013 21:13:05 +0000 (21:13 +0000)

Trivial merge