diff options
| author | Ion-Mihai Tetcu <itetcu@FreeBSD.org> | 2008-06-29 20:18:12 +0000 |
|---|---|---|
| committer | Ion-Mihai Tetcu <itetcu@FreeBSD.org> | 2008-06-29 20:18:12 +0000 |
| commit | be52a77dd929128702cba74d5a507a8324db2840 (patch) | |
| tree | 908d75f0c31f54fd294f67e7f6c7e68a41a147d1 /lang | |
| parent | ceca86b890ffdb6d17c28fc1e4f837e1014b45e1 (diff) | |
IGNORE with -DNOPORTDOCS
Prompted by: QA Tindy run
Notes
Notes:
svn path=/head/; revision=215977
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/ocaml-doc/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lang/ocaml-doc/Makefile b/lang/ocaml-doc/Makefile index f1aee46663d6..dce288f2b984 100644 --- a/lang/ocaml-doc/Makefile +++ b/lang/ocaml-doc/Makefile @@ -22,6 +22,10 @@ NO_BUILD= yes PORTDOCS= * +.ifdef(NOPORTDOCS) +IGNORE= installs only documentation and you have NOPORTDOCS defined +.endif + do-install: @${MKDIR} ${DOCSDIR}/html/libref cd ${WRKDIR}/htmlman/libref && ${INSTALL_DATA} * ${DOCSDIR}/html/libref |