From 20f68bdcda4a67a742df29abe556cdfc6aaade26 Mon Sep 17 00:00:00 2001 From: eriktorsner Date: Tue, 11 Dec 2012 17:07:22 +0100 Subject: [PATCH] Update remove_userguide.mod --- remove_userguide.mod | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/remove_userguide.mod b/remove_userguide.mod index a3ac5f9..93d473e 100644 --- a/remove_userguide.mod +++ b/remove_userguide.mod @@ -6,5 +6,7 @@ * */ -rmdir("$ci_folder/user_guide"); +$cmd = "rm -rf $ci_folder/user_guide"; +exec($cmd); +