From f67b5cb1cbe2e20f797e19cfa8fa3a7a0df52767 Mon Sep 17 00:00:00 2001
From: "Jordan K. Hubbard" <jkh@FreeBSD.org>
Date: Sun, 10 Oct 1993 01:46:53 +0000
Subject: [PATCH] Try copy if rename of temporary catpage fails.

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

diff --git a/gnu/usr.bin/man/man/man.c b/gnu/usr.bin/man/man/man.c
index a96f2a2af64..c5b4ee0af0a 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;
 	}