freebsd-ports/games/kmines
Mathieu Arnold e1bfdfbe56 Add DOCS options to ports that should have one.
Also various fixes related to said option.

PR:		230864
Submitted by:	mat
exp-runs by:	antoine
2018-09-10 13:14:50 +00:00
..
distinfo Update the current KDE Applications to 18.08.1, the latest release. 2018-09-06 21:06:47 +00:00
Makefile Add DOCS options to ports that should have one. 2018-09-10 13:14:50 +00:00
pkg-descr New ports: KDE Applicationsa games/ 2018-04-08 18:09:23 +00:00
pkg-plist New ports: KDE Applicationsa games/ 2018-04-08 18:09:23 +00:00