Try copy if rename of temporary catpage fails.
authorJordan K. Hubbard <jkh@FreeBSD.org>
Sun, 10 Oct 1993 01:46:53 +0000 (01:46 +0000)
committerJordan K. Hubbard <jkh@FreeBSD.org>
Sun, 10 Oct 1993 01:46:53 +0000 (01:46 +0000)
commitfad0144f0cba4efee81f1c9adb3945ce5bea8549
tree811aaa704e7fe688b0d18ff3f3d8b472ab9e22a4
parentd2ae4d12da9fde6623f330dacaf1b10ca071a3a9
Try copy if rename of temporary catpage fails.
gnu/usr.bin/man/man/man.c