Antoine Brodin 728929b709 Switch ports depending on docbook* through a directory name to a package name, ...

as a directory name can't be attributed to a package

2015-01-23 22:50:49 +00:00

..

distinfo

…

Makefile

Switch ports depending on docbook* through a directory name to a package name,

2015-01-23 22:50:49 +00:00

pkg-descr

…

pkg-plist

…