make install is supposed to install everything under src/include/,

but it was missing a bunch of recently-added subdirectories.

diff --git a/src/include/Makefile b/src/include/Makefile
index 4ca9fc78893a5538855e2a512c4d01155d69ab96..4b808200282848300dac446e56518ebf6bd12f2a 100644 (file)
--- a/src/include/Makefile
+++ b/src/include/Makefile
@@ -18,8 +18,10 @@ all: pg_config.h pg_config_os.h
 
 # Subdirectories containing headers for server-side dev
 SUBDIRS = access bootstrap catalog commands executor lib libpq mb \
-       nodes optimizer parser regex rewrite storage tcop tsearch utils \
-       port port/win32 port/win32/arpa port/win32/netinet port/win32/sys
+       nodes optimizer parser postmaster regex rewrite storage tcop \
+       snowball snowball/libstemmer tsearch tsearch/dicts utils \
+       port port/win32 port/win32_msvc port/win32_msvc/sys \
+       port/win32/arpa port/win32/netinet port/win32/sys
 
 # Install all headers
 install: all installdirs