Avoid recreating the include/* files needlessly.

* Makeconf ($(INSTALLED_LOCAL_HEADERS)): Just depend on the Makefile.

The include/ hierarchy does not depend on anything but the local Makefile;
especially it does not depend on how the package has been configured, which is
what config.make records.

1 files changed, 1 insertions, 1 deletions

diff --git a/Makeconf b/Makeconf
index 6c9a0a7c..8ff85241 100644
--- a/Makeconf
+++ b/Makeconf
@@ -262,7 +262,7 @@ $(includedir)/$(installhdrsubdir): $(includedir)
 # it never needs to be repeated for a particular header.
 local-installhdrsubdir = include/$(installhdrsubdir)
 INSTALLED_LOCAL_HEADERS := $(installhdrs:%=../$(local-installhdrsubdir)/%)
-$(INSTALLED_LOCAL_HEADERS): ../$(local-installhdrsubdir)/%: ../config.make
+$(INSTALLED_LOCAL_HEADERS): ../$(local-installhdrsubdir)/%: Makefile
 	@rm -f $@
 	@test -d $(@D)/ || $(MKINSTALLDIRS) $(@D)
 	echo '#include "../$(dir)/$*"' > $@