Fixed an error in the doxygen file creation process.

Signed-off-by: Jochen Gruen <jochen.gruen@googlemail.com>