Merge remote-tracking branch 'upstream/master'

This commit is contained in:
Antoine Mercadal
2012-04-10 16:10:14 -07:00
+2 -2
View File
@@ -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)");
}
}