diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 690a768e2..c311ac7c5 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -381,11 +381,19 @@ else()
     )
 endif()
 
-add_custom_target(clean-olean
+add_custom_target(clean-std-lib
   WORKING_DIRECTORY ${LEAN_SOURCE_DIR}/../library
   COMMAND ${CMAKE_COMMAND} -P ${CMAKE_MODULE_PATH}CleanOlean.cmake
   )
 
+add_custom_target(clean-hott-lib
+  WORKING_DIRECTORY ${LEAN_SOURCE_DIR}/../hott
+  COMMAND ${CMAKE_COMMAND} -P ${CMAKE_MODULE_PATH}CleanOlean.cmake
+  )
+
+add_custom_target(clean-olean
+  DEPENDS clean-std-lib clean-hott-lib)
+
 install(FILES ${CMAKE_SOURCE_DIR}/../bin/linja ${CMAKE_SOURCE_DIR}/../bin/ltags
   DESTINATION bin
   PERMISSIONS OWNER_READ OWNER_WRITE OWNER_EXECUTE GROUP_READ GROUP_EXECUTE WORLD_READ WORLD_EXECUTE)