Let jake proceed if a man page cannot be copied

cappuccino · Apr 11, 2012 · 6293380 · 6293380
1 parent 73641cb
commit 6293380
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/common.jake b/common.jake
@@ -489,10 +489,7 @@ global.copyManPage = function(/*String*/ name, /*int*/ section)
         if (!FILE.isDirectory(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]))