Fix doxygen man page build

Fixes issue #156 reported via IRC