diff options
author | Martin Wilke <miwi@FreeBSD.org> | 2007-03-11 22:18:44 +0000 |
---|---|---|
committer | Martin Wilke <miwi@FreeBSD.org> | 2007-03-11 22:18:44 +0000 |
commit | cfff2ef9c88d4365d42b604d5b7ef4ea57250abc (patch) | |
tree | 1d05a9cbfd5c260f3471342de7ca69cf9151ca04 /devel | |
parent | e7e785a8942b4298084017134c90ad6c413a114f (diff) | |
download | ports-cfff2ef9c88d4365d42b604d5b7ef4ea57250abc.tar.gz ports-cfff2ef9c88d4365d42b604d5b7ef4ea57250abc.zip |
Notes
Diffstat (limited to 'devel')
-rw-r--r-- | devel/menhir/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devel/menhir/Makefile b/devel/menhir/Makefile index f9bfc46a938e..f073fa1b69b5 100644 --- a/devel/menhir/Makefile +++ b/devel/menhir/Makefile @@ -19,6 +19,8 @@ USE_OCAML= yes DOCSDIR= ${PREFIX}/share/doc/ocaml/${PORTNAME} MAKE_ENV+= DOCSDIR="${DOCSDIR}" OCAML_SITELIBDIR="${PREFIX}/${OCAML_SITELIBDIR}" +MAN1= menhir.1 + .include <bsd.port.pre.mk> .include "${PORTSDIR}/lang/ocaml/bsd.ocaml.mk" .include <bsd.port.post.mk> |