diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index 828e43b..91bee85 100644
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -148,7 +148,7 @@ add_custom_command(
 # built, and you cannot use CMake functions in a custom target or
 # command.
 add_custom_target(clean_doxygen_garbage
-  COMMAND rm -f "${OUTPUT_DIRECTORY}/_*_owlps_libowlps*_.${SECTION}")
+  COMMAND ${CMAKE_COMMAND} -E remove "${OUTPUT_DIRECTORY}/_*_owlps_libowlps*_.${SECTION}")
 
 # Set up the target
 add_custom_target(doc_doxygen true DEPENDS ${DOXYGEN_MANPAGES})