diff options
Diffstat (limited to 'lang/ocaml/Makefile')
| -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:]] |