What is the procedure to generate documentation when CMake has been configured to generate build files for Visual Studio? It said that one should run make html_docs to build HTML-documentation. But there is not even a makefile. Also, is it a requirement to have doxygen installed to generate documentation? Or is Sphinx sufficient?