From aed29ce5eaaea7460c3c43c1006e4fdc3a4c6e51 Mon Sep 17 00:00:00 2001 From: Richard Levitte Date: Wed, 1 Oct 2003 15:03:15 +0000 Subject: [PATCH] Avoid 'file names' with spaces --- Makefile.org | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile.org b/Makefile.org index 8f278cd963..cc8233ac4c 100644 --- a/Makefile.org +++ b/Makefile.org @@ -595,6 +595,8 @@ install_docs: > $(INSTALL_PREFIX)$(MANDIR)/man$$sec/$$fn.$${sec}$(MANSUFFIX); \ $(PERL) util/extract-names.pl < $$i | \ grep -v $$filecase "^$$fn\$$" | \ + grep -v "[ ]" | \ + grep -v "[ ]" | \ (cd $(INSTALL_PREFIX)$(MANDIR)/man$$sec/; \ while read n; do \ $$here/util/point.sh $$fn.$${sec}$(MANSUFFIX) "$$n".$${sec}$(MANSUFFIX); \ -- GitLab