diff options
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/ocaml-modules/odoc/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/odoc/default.nix b/pkgs/development/ocaml-modules/odoc/default.nix index 4c5da695eb6c..3b1005106272 100644 --- a/pkgs/development/ocaml-modules/odoc/default.nix +++ b/pkgs/development/ocaml-modules/odoc/default.nix @@ -16,6 +16,8 @@ stdenv.mkDerivation rec { propagatedBuildInputs = [ bos doc-ock-html doc-ock-xml ]; + configurePhase = "ocaml bin/set-etc bin/odoc_etc.ml $out/etc/odoc"; + inherit (dune) installPhase; meta = { |