From 810d02d5b8a6409a8d80cdc27489d55f965ea19f Mon Sep 17 00:00:00 2001
From: Matteo Cypriani <matteo.cypriani@uqat.ca>
Date: Wed, 11 Sep 2013 15:24:00 -0400
Subject: [PATCH] [doc] CMake: more portable clean_doxygen_garbage

Use cmake -E remove instead of rm -f.
---
 doc/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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})