Handle disable doxygen configure option

Previously this broke when using the --disable-doxygen-doc option
as detailed in #44.

See merge request !33

Former-commit-id: 840b6991d97b81feacf07cce60fc9e4193da78de