mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-18 03:46:03 +00:00
b7948d7840
- needed to take the MAN()!= out because it causes multiple background shells and can hurt INDEX performance [2] PR: ports/163275 [1] Approved by: gabor (mentor) [2] |
||
---|---|---|
.. | ||
manfiles | ||
patch-camlp4-man_Makefile | ||
patch-configure | ||
patch-Makefile | ||
patch-ocamldoc_Makefile |