From 8e01d7c308873d73569d3104402f45295f5047eb Mon Sep 17 00:00:00 2001 From: Dave Cornejo Date: Fri, 3 Apr 2020 21:30:34 -1000 Subject: [PATCH] Install include files within include target --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index 78f8345d..2105cef0 100644 --- a/Makefile.in +++ b/Makefile.in @@ -74,7 +74,7 @@ depend: install: for i in $(SUBDIRS) doc; \ do (cd $$i; $(MAKE) $(MFLAGS) $@)||exit 1; done; - echo "Install for compilation by: make install-include" + $(MAKE) $(MFLAGS) install-include install-include: for i in $(SUBDIRS) doc; \