Avoid 'file names' with spaces

diff --git a/Makefile.org b/Makefile.org
index 8f278cd963bece0abeff761526f11e3e2f3f4126..cc8233ac4c087702a64d667dc3e74c232ccc9dfa 100644 (file)
--- 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); \