make install is supposed to install everything under src/include/,
Tom Lane <tgl@sss.pgh.pa.us>
make install is supposed to install everything under src/include/, but it was missing a bunch of recently-added subdirectories.
Files
| Path | Change | +/− |
|---|---|---|
| src/include/Makefile | modified | +5 −3 |