diff options
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile index f801474..8967842 100644 --- a/Makefile +++ b/Makefile @@ -78,12 +78,12 @@ lint: install: install -d $(MANDIR)/man3 for man in $(MAN); do gzip -c $${man} > $(MANDIR)/man3/$${man}.gz; done - set -- $(MLINKS); while [ "$$*" ]; do \ + set -- $(MLINKS); while [ -n "$$*" ]; do \ ln -f $(MANDIR)/man3/$$1.gz $(MANDIR)/man3/$$2.gz; shift 2; done uninstall: for man in $(MAN); do rm -f $(MANDIR)/man3/$${man}.gz; done - set -- $(MLINKS); while [ "$$*" ]; do \ + set -- $(MLINKS); while [ -n "$$*" ]; do \ rm -f $(MANDIR)/man3/$$2.gz; shift 2; done README: zlib-man-pages.7 |