Commit aed29ce5 authored by Richard Levitte's avatar Richard Levitte
Browse files

Avoid 'file names' with spaces

parent 9ad82c12

Makefile.org

+2 −0
Original line number Diff line number Diff line
@@ -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); \