Instructions Jenkins Doxygen

Merge "[added] /pet pet emote [added] /reassure pet emote [added] /nuzzle pet emote...
authorVictor Popovici <theanswer@swgemu.com>
Thu, 30 Jan 2014 18:07:15 +0000 (18:07 +0000)
committergerrit <gerrit@review.swgemu.com>
Thu, 30 Jan 2014 18:07:16 +0000 (18:07 +0000)

Trivial merge