--- CMakeLists.txt.orig	2020-06-20 00:40:07 UTC
+++ CMakeLists.txt
@@ -274,27 +274,6 @@ elseif(NOT CLANG_TIDY_PATH)
                   "so source code linting is disabled")
 endif()
 
-# Docs
-find_package(Doxygen)
-option(ENABLE_DOCS "Enable building documentation." ON)
-if(DOXYGEN_FOUND AND ENABLE_DOCS)
-    set_property(DIRECTORY APPEND PROPERTY ADDITIONAL_MAKE_CLEAN_FILES "${CMAKE_CURRENT_BINARY_DIR}/dev-docs/_build")
-    configure_file(dev-docs/Doxyfile.in
-        dev-docs/Doxyfile
-        ESCAPE_QUOTES
-        )
-    add_custom_target(docs
-        ALL
-        ${DOXYGEN_EXECUTABLE} ${CMAKE_CURRENT_BINARY_DIR}/dev-docs/Doxyfile
-        WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/dev-docs
-        COMMENT "Generating API documentation with Doxygen" VERBATIM
-        )
-else()
-    add_custom_target(docs
-        echo "Doxygen was not installed when CMake was run or ENABLE_DOCS was OFF. Check that Doxygen is installed and rerun `cmake .`" VERBATIM
-        )
-endif()
-
 # Metadata for bindings
 if (WIN32)
     add_custom_target(binding-functions