diff --git a/CMakeLists.txt b/CMakeLists.txt
index fa1a57b4f..f0c411792 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -718,7 +718,6 @@ configure_file("${BUILDLIB}/config.h.in" "${BUILD_INCLUDE}/config.h" ESCAPE_QUOT
 # Sub-directories
 add_subdirectory(ccan)
 add_subdirectory(util)
-add_subdirectory(Documentation)
 add_subdirectory(kernel-boot)
 add_subdirectory(kernel-headers)
 # Libraries