On Thursday 22 May 2014, Felix Salfelder wrote:
> without the headers, its difficult to compile plugins. the
> old build system currently also skips them. i think
> ${pkgincludedir} = ${includedir}/gnucap is a good place for
> these headers.
The "old" build system in the 2013 snapshot does install the
headers in ${includedir}/gnucap.
_______________________________________________
Gnucap-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/gnucap-devel
