Install generated nodes/nodetags.h

diff --git a/src/include/Makefile b/src/include/Makefile
index 17cfd268b87893dffbe6d6d269608b4cf8f74258..0b4cab9bb11c8cbed7e0232f2895363d765c38a9 100644 (file)
--- a/src/include/Makefile
+++ b/src/include/Makefile
@@ -44,6 +44,7 @@ install: all installdirs
    $(INSTALL_DATA) pg_config.h     '$(DESTDIR)$(includedir_server)'
    $(INSTALL_DATA) pg_config_ext.h '$(DESTDIR)$(includedir_server)'
    $(INSTALL_DATA) pg_config_os.h  '$(DESTDIR)$(includedir_server)'
+   $(INSTALL_DATA) nodes/nodetags.h '$(DESTDIR)$(includedir_server)/nodes'
    $(INSTALL_DATA) utils/errcodes.h '$(DESTDIR)$(includedir_server)/utils'
    $(INSTALL_DATA) utils/fmgroids.h '$(DESTDIR)$(includedir_server)/utils'
    $(INSTALL_DATA) utils/fmgrprotos.h '$(DESTDIR)$(includedir_server)/utils'