Instructions Jenkins Doxygen

Merge "[Fixed] stability issue" into unstable
authorIvojedi <ivojedi@swgemu.com>
Wed, 30 Jul 2014 17:51:48 +0000 (17:51 +0000)
committergerrit <gerrit@review.swgemu.com>
Wed, 30 Jul 2014 17:51:48 +0000 (17:51 +0000)

Trivial merge