freebsd-ports/games/prboom-plus
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
Makefile
Makefile.include
pkg-descr
pkg-plist