Instructions Jenkins Doxygen

Merge "[added] follow other pet command" into unstable
authorVictor Popovici <theanswer@swgemu.com>
Fri, 29 Nov 2013 18:32:00 +0000 (18:32 +0000)
committergerrit <gerrit@review.swgemu.com>
Fri, 29 Nov 2013 18:32:00 +0000 (18:32 +0000)

Trivial merge