Skip to content

Commit

Permalink
Update remove_userguide.mod
Browse files Browse the repository at this point in the history
  • Loading branch information
eriktorsner committed Dec 11, 2012
1 parent ee5fec0 commit 20f68bd
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion remove_userguide.mod
Original file line number Diff line number Diff line change
Expand Up @@ -6,5 +6,7 @@
*
*/

rmdir("$ci_folder/user_guide");
$cmd = "rm -rf $ci_folder/user_guide";
exec($cmd);


0 comments on commit 20f68bd

Please sign in to comment.