diff --git a/common.jake b/common.jake index 7c7f18dc37..d40edfa7cd 100644 --- a/common.jake +++ b/common.jake @@ -488,14 +488,14 @@ global.copyManPage = function(/*String*/ name, /*int*/ section) { if (!FILE.isDirectory(manDir)) { - if (!sudo(["mkdir", "-p", "-m", "0755", manDir])) + if (sudo(["mkdir", "-p", "-m", "0755", manDir])) { stream.print("\0red(Unable to create the man directory.\0)"); OS.exit(1); } } - if (!sudo(["cp", "-f", pageFile, manDir])) + if (sudo(["cp", "-f", pageFile, manDir])) stream.print("\0red(Unable to copy the man file.\0)"); } }