From 6bf37cc8c0b28a9e139d253eff01b5851c233058 Mon Sep 17 00:00:00 2001
From: Michael R Sweet <michael.r.sweet@gmail.com>
Date: Wed, 23 Jan 2019 12:58:47 -0500
Subject: [PATCH] Make sure config.h gets installed with the private headers,
 as needed.

---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile b/Makefile
index 5bf14cc5d..ae6cf3774 100644
--- 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
 
 
 #
-- 
2.39.2