From 0ba82aebc9d99e6d96bd5822478f3b4af285bf74 Mon Sep 17 00:00:00 2001
From: jkh <jkh@FreeBSD.org>
Date: Sun, 10 Oct 1993 01:46:53 +0000
Subject: Try copy if rename of temporary catpage fails.

---
 gnu/usr.bin/man/man/man.c | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'gnu/usr.bin/man')

diff --git a/gnu/usr.bin/man/man/man.c b/gnu/usr.bin/man/man/man.c
index a96f2a2..c5b4ee0 100644
--- 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) {
-		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;
 	}
-- 
cgit v1.1