Instructions Jenkins Doxygen

Merge "[fixed] better handling of resource stacking during sampling Mantis #3736...
authorVictor Popovici <theanswer@swgemu.com>
Sun, 3 Nov 2013 09:54:19 +0000 (09:54 +0000)
committergerrit <gerrit@review.swgemu.com>
Sun, 3 Nov 2013 09:54:19 +0000 (09:54 +0000)

Trivial merge