Doxygen option builds documentation, but does not install it.
