diff options
Diffstat (limited to 'Makefile.org')
-rw-r--r-- | Makefile.org | 2 |
1 files changed, 2 insertions, 0 deletions
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); \ |