diff options
Diffstat (limited to 'Makefile.inc1')
| -rw-r--r-- | Makefile.inc1 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.inc1 b/Makefile.inc1 index 56f1418..5c6697f 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -1089,7 +1089,7 @@ delete-old-files: | 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 @@ -1107,7 +1107,7 @@ check-old-files: | 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}" ] \ && echo $${catpage} || true; \ done; \ done |
