oliver 2011-04-25 12:16:32 UTC FreeBSD ports repository Modified files: x11/Terminal/files extra-patch-doc-Makefile.in Log: update NOPORTDOCS patch PR: ports/155346 Submitted by: Mickael Maillot <mickael.maillot at gmail.com> Revision Changes Path 1.2 +19 -17 ports/x11/Terminal/files/extra-patch-doc-Makefile.in