Unclutter 'make doc' output a bit
commitd6e990b65cc560e97c02e99bfd00826018b3030c
authorPaul Eggert <eggert@cs.ucla.edu>
Thu, 30 Apr 2015 16:17:57 +0000 (30 09:17 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Thu, 30 Apr 2015 16:18:23 +0000 (30 09:18 -0700)
tree7db5a2ca7dcde01ac211d3cf1ca58245d5eec198
parent4be98d812563ec40fe5186b06fc6da9b3c36ea03
Unclutter 'make doc' output a bit

* Makefile.in ($(DOCS), $(INSTALL_DOC), $(UNINSTALL_DOC)):
Use make subst rather than sh IFS to split target string apart.
This makes 'make' output easier to follow.
Makefile.in