Made Doxygen option if BUILD_MAN_DOCUMENTATION is not set
Made Doxygen option if BUILD_MAN_DOCUMENTATION is not set

bverhagen/exec-helper,bverhagen/exec-helper,bverhagen/exec-helper,bverhagen/exec-helper,bverhagen/exec-helper