diff options
Diffstat (limited to 'shells/44bsd-csh/Makefile')
| -rw-r--r-- | shells/44bsd-csh/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
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 |