Make sure config.h gets installed with the private headers, as needed.

diff --git a/Makefile b/Makefile
index 5bf14cc5d78558a40c48e04bf45836cb54db4863..ae6cf37746c48f619913602d9ca75dab82c8efa8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -197,6 +197,11 @@ install-headers:
                echo Installing header files in $$dir... ;\
                (cd $$dir; $(MAKE) $(MFLAGS) install-headers) || exit 1;\
        done
+       if test "x$(privateinclude)" != x; then \
+               echo Installing config.h into $(PRIVATEINCLUDE)...; \
+               $(INSTALL_DIR) -m 755 $(PRIVATEINCLUDE); \
+               $(INSTALL_DATA) config.h $(PRIVATEINCLUDE)/config.h; \
+       fi
 
 
 #