Instructions Jenkins Doxygen

Merge "[fixed] a vendor detection issue" into unstable
authorBenjamin 'Ivojedi' Jensen <ivojedi@swgemu.com>
Fri, 17 Feb 2017 08:11:30 +0000 (08:11 +0000)
committergerrit <gerrit@review.swgemu.com>
Fri, 17 Feb 2017 08:11:30 +0000 (08:11 +0000)

Trivial merge