diff options
Diffstat (limited to 'devel/ocaml-dune/Makefile')
| -rw-r--r-- | devel/ocaml-dune/Makefile | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/devel/ocaml-dune/Makefile b/devel/ocaml-dune/Makefile index 968970a824d..835ad251e45 100644 --- a/devel/ocaml-dune/Makefile +++ b/devel/ocaml-dune/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.12 2022/03/28 17:08:09 tnn Exp $ +# $NetBSD: Makefile,v 1.13 2022/04/12 11:28:00 tnn Exp $ .include "Makefile.common" @@ -34,11 +34,6 @@ OPAM_INSTALL_FILES= dune-glob \ dune \ dune-private-libs -SUBST_CLASSES+= mandir -SUBST_STAGE.mandir= pre-configure -SUBST_FILES.mandir= src/dune_engine/install.ml -SUBST_SED.mandir= -e 's,sprintf "man%c",sprintf "${PKGMANDIR}%c",' - post-build: ${RUN} cd ${WRKSRC} && ./dune.exe build -p dune,dune-action-plugin,dune-build-info,dune-glob,dune-private-libs @install |