--- Makefile.inc1.orig	Fri Aug 19 20:47:11 2005
+++ Makefile.inc1	Fri Aug 19 20:50:22 2005
@@ -1089,7 +1089,7 @@
 				| sed 's:${DESTDIR}/usr/share/man/cat:${DESTDIR}/usr/share/man/man:') \
 			check_empty=$$(echo $${catpage} \
 				| sed 's:.*\*:empty:'); \
-			[ $${check_empty} != empty -a ! -e $${manpage} ] \
+			[ $${check_empty} != empty -a ! -e "$${manpage}" ] \
 				&& rm ${RM_I} $${catpage} || true; \
 		done; \
 	done