[CMake] Deleting a directory

[Yann Renard]

Cheers list,

when using cmake for building my libraries, I add additional commands in 
order to copy all the corresponding header tree to a target directory. 
On clean stage, I would like to remove this tree so removed the .h files 
one by one using ADDITIONAL_MAKE_CLEAN_FILES. This empties the tree but 
after that, it would be nice to remove the tree itself. How could I 
remove those directories ? cmake -E seems not to be able to remove 
directories.

Best regards,
Yann Renard