make install is supposed to install everything under src/include/,
authorTom Lane <tgl@sss.pgh.pa.us>
Sun, 14 Oct 2007 17:07:51 +0000 (17:07 +0000)
committerTom Lane <tgl@sss.pgh.pa.us>
Sun, 14 Oct 2007 17:07:51 +0000 (17:07 +0000)
commite79bc7c2984300af6891784139cfb3af8907803e
tree56f164084f20b0f8876b4cbe8f837e6704af4ee0
parent0ff45745d6670c59c6db455d3364b35b650f9ac3
make install is supposed to install everything under src/include/,
but it was missing a bunch of recently-added subdirectories.
src/include/Makefile