From e1bfdfbe5665c963621e06f6bbfbbc2c000a804e Mon Sep 17 00:00:00 2001 From: Mathieu Arnold Date: Mon, 10 Sep 2018 13:14:50 +0000 Subject: 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 --- shells/44bsd-csh/Makefile | 2 ++ 1 file changed, 2 insertions(+) (limited to 'shells/44bsd-csh') diff --git a/shells/44bsd-csh/Makefile b/shells/44bsd-csh/Makefile index 6f1e877f1baf..7d96705c1499 100644 --- a/shells/44bsd-csh/Makefile +++ b/shells/44bsd-csh/Makefile @@ -18,6 +18,8 @@ USES= tar:bzip2 NO_WRKSUBDIR= yes PORTDOCS= paper.ascii.gz +OPTIONS_DEFINE= DOCS + post-extract: cd ${WRKSRC} ; co RCS/*,v; chmod u+w * cd ${WRKSRC}/USD.doc ; co RCS/*,v -- cgit v1.2.3