Instructions Jenkins Doxygen

Merge "[Fixed] clone activation request now verifies that a location is actually...
authorVictor Popovici <theanswer@swgemu.com>
Thu, 7 Nov 2013 20:02:25 +0000 (20:02 +0000)
committergerrit <gerrit@review.swgemu.com>
Thu, 7 Nov 2013 20:02:25 +0000 (20:02 +0000)

Trivial merge