Robert Creager writes:
> Just wondering if there is currently any mechanism in the contrib makefile
> hierarchy for installing header files into an appropriate directory.
There isn't, because until now there was no need for it. But there is no
reason that it couldn't be added.
--
Peter Eisentraut peter_e@gmx.net