Instructions Jenkins Doxygen

Merge "[fixed] another generic junk dealer. mantis #4532" into unstable
authorVictor Popovici <theanswer@swgemu.com>
Fri, 7 Feb 2014 13:31:52 +0000 (13:31 +0000)
committergerrit <gerrit@review.swgemu.com>
Fri, 7 Feb 2014 13:31:52 +0000 (13:31 +0000)

Trivial merge