Instructions Jenkins Doxygen

Merge "[Fixed] radial menu id for taming" into unstable
authorIvojedi <ivojedi@swgemu.com>
Thu, 24 Oct 2013 13:06:44 +0000 (13:06 +0000)
committergerrit <gerrit@review.swgemu.com>
Thu, 24 Oct 2013 13:06:47 +0000 (13:06 +0000)

Trivial merge