ajacoutot 4abbd86b86 Install headers in a non-default directory so that applications stop ...

picking them up.

discussed with jasper@

2016-10-29 10:35:45 +00:00

..

pkg

…

distinfo

…

Makefile

…