Try copy if rename of temporary catpage fails.

diff --git a/gnu/usr.bin/man/man/man.c b/gnu/usr.bin/man/man/man.c
index a96f2a2..c5b4ee0 100644 (file)
--- a/gnu/usr.bin/man/man/man.c
+++ b/gnu/usr.bin/man/man/man.c
@@ -1087,7 +1087,12 @@ make_cat_file (path, man_file, cat_file)
       }
       else {
         if (rename(temp, cat_file) == -1) {
       }
       else {
         if (rename(temp, cat_file) == -1) {

-               perror("rename");
+               /* FS might be sticky */
+               sprintf(command, "cp %s %s", temp, cat_file);
+               if (system(command))
+                       fprintf(stderr,
+                               "\nHmm!  Can't seem to rename %s to %s, check permissions on man dir!\n",
+                               temp, cat_file);

                unlink(temp);
                return 0;
        }
                unlink(temp);
                return 0;
        }