Fixed small bug in developer doc

The Doxyfile was appended instead of being replaced at any
new generation of the doc