diff options
| author | Kris Kennaway <kris@FreeBSD.org> | 2000-03-26 06:03:02 +0000 |
|---|---|---|
| committer | Kris Kennaway <kris@FreeBSD.org> | 2000-03-26 06:03:02 +0000 |
| commit | 513bad06faa1944a78e07ee89a86347eed7d9fac (patch) | |
| tree | 1f9c94860152b4ee7cf6c59dade60323c6cd4987 /lang/ocaml/Makefile | |
| parent | Update to curl 6.5.2 (diff) | |
Comply with the license terms and install the license file.
Obtained from: OpenBSD
Notes
Notes:
svn path=/head/; revision=27057
Diffstat (limited to 'lang/ocaml/Makefile')
| -rw-r--r-- | lang/ocaml/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lang/ocaml/Makefile b/lang/ocaml/Makefile index acef2e89ef42..d0a1cd3155e4 100644 --- a/lang/ocaml/Makefile +++ b/lang/ocaml/Makefile @@ -35,6 +35,8 @@ DOCFILES= ${DISTNAME}-refman.html.tar.gz ${DISTNAME}-refman.ps.gz .endif post-install: + @${MKDIR} ${PREFIX}/share/doc/ocaml + ${INSTALL_DATA} ${WRKSRC}/LICENSE ${PREFIX}/share/doc/ocaml/ .if !defined(NOPORTDOCS) @${MKDIR} ${PREFIX}/share/doc/ocaml/html @cd ${WRKDIR}/htmlman; ${INSTALL_DATA} * ${PREFIX}/share/doc/ocaml/html |