Instructions Jenkins Doxygen

Merge "[Added] loading of jedi manager in director manager." into unstable
authorVictor Popovici <theanswer@swgemu.com>
Sun, 22 Sep 2013 14:02:33 +0000 (14:02 +0000)
committergerrit <gerrit@review.swgemu.com>
Sun, 22 Sep 2013 14:02:33 +0000 (14:02 +0000)

Trivial merge