Mathieu Arnold 83c0ed08a0 These options seem to also install files that are not documentation, so ... remove their dependency on DOCS.		2018-09-24 09:49:21 +00:00
..
files
distinfo
Makefile	These options seem to also install files that are not documentation, so	2018-09-24 09:49:21 +00:00
pkg-descr
pkg-plist