diff options
author | Tobias Kortkamp <tobik@FreeBSD.org> | 2019-01-08 13:19:05 +0000 |
---|---|---|
committer | Tobias Kortkamp <tobik@FreeBSD.org> | 2019-01-08 13:19:05 +0000 |
commit | 2fbce8fed7a90d04b77936969a83f82f82e96170 (patch) | |
tree | f0569c412c29c9c207fefef7c59f221d5df5d9b1 /lang/ocaml | |
parent | df4016ba604776b7ce2b7cbcb763cbd204f5a05f (diff) | |
download | freebsd-ports-2fbce8fed7a90d04b77936969a83f82f82e96170.zip |
Do not set PORTDOCS twice
Diffstat (limited to 'lang/ocaml')
-rw-r--r-- | lang/ocaml/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lang/ocaml/Makefile b/lang/ocaml/Makefile index a12db022eb8d..deb86351b182 100644 --- a/lang/ocaml/Makefile +++ b/lang/ocaml/Makefile @@ -43,8 +43,6 @@ CONFIGURE_ARGS= -verbose -prefix "${PREFIX}" \ OPTIONS_DEFINE= X11 THREADS DOCS EXAMPLES OPTIONS_DEFAULT=X11 THREADS CMP_LIB_DESC= Install compiler libraries -PORTDOCS= htmlman ${DOCSDISTNAME}-refman.ps.gz \ - ${DOCSDISTNAME}-refman.pdf MODOPT= camlp4o camlp4r ocamlc ocamldep ocamldoc ocamllex ocamlopt PATTERN= [[:space:]]*(do|then)?[[:space:]]*)(\$$\(CP\)|cp)([[:space:]] |