Instructions Jenkins Doxygen

Merge "[change] Arrangement Descriptors" into unstable
authorVictor Popovici <theanswer@swgemu.com>
Sun, 27 Oct 2013 22:10:59 +0000 (22:10 +0000)
committergerrit <gerrit@review.swgemu.com>
Sun, 27 Oct 2013 22:11:00 +0000 (22:11 +0000)

Trivial merge