Install all the headers files that the ones that are already installed
authorPeter Eisentraut <peter_e@gmx.net>
Tue, 25 Nov 2003 19:10:15 +0000 (19:10 +0000)
committerPeter Eisentraut <peter_e@gmx.net>
Tue, 25 Nov 2003 19:10:15 +0000 (19:10 +0000)
commit693c5107ce5cb0cb86a9c827baf66fb4c946a49c
tree0c533d623ae528bae94501bc9cddff1457b21f56
parentddfc8543d490a37382fe31fffafd7dc2890f7e32
Install all the headers files that the ones that are already installed
depend on.
src/include/Makefile