Instructions Jenkins Doxygen

Merge "[Fixed] Pets now require 4 unique commands to be named 0005106" into unstable
authorBenjamin 'Ivojedi' Jensen <ivojedi@swgemu.com>
Fri, 6 Jun 2014 15:52:05 +0000 (15:52 +0000)
committergerrit <gerrit@review.swgemu.com>
Fri, 6 Jun 2014 15:52:05 +0000 (15:52 +0000)

Trivial merge