diff options
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/ocaml/Makefile | 2 | ||||
| -rw-r--r-- | lang/ocaml/pkg-plist | 1 |
2 files changed, 3 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 diff --git a/lang/ocaml/pkg-plist b/lang/ocaml/pkg-plist index cfb7d22c8f1f..2f32bffb706c 100644 --- a/lang/ocaml/pkg-plist +++ b/lang/ocaml/pkg-plist @@ -262,6 +262,7 @@ lib/ocaml/weak.cmx lib/ocaml/weak.ml lib/ocaml/weak.mli lib/ocaml/weak.p.cmx +share/doc/ocaml/LICENSE share/doc/ocaml/html/contents_motif.gif share/doc/ocaml/html/index.html share/doc/ocaml/html/libgraph.gif |