Instructions Jenkins Doxygen

Merge "[fixed] mantis 3836 pukes all over spice downers" into unstable
authorVictor Popovici <theanswer@swgemu.com>
Sat, 5 Oct 2013 16:42:47 +0000 (16:42 +0000)
committergerrit <gerrit@review.swgemu.com>
Sat, 5 Oct 2013 16:42:47 +0000 (16:42 +0000)

Trivial merge