Instructions Jenkins Doxygen

Merge "[added] Change city name" into unstable
authorVictor Popovici <theanswer@swgemu.com>
Wed, 4 Sep 2013 10:49:17 +0000 (10:49 +0000)
committerGerrit Code Review <gerrit2@46493.box.local>
Wed, 4 Sep 2013 10:49:17 +0000 (10:49 +0000)

Trivial merge