giovanni 7fc8a31ac1 fix for pkg-config file and for documentation option ...

ok kirby@ (maintainer)

2015-12-11 15:56:53 +00:00

..

patches

…

pkg

…

distinfo

…

Makefile

…