summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--pkgs/development/ocaml-modules/odoc/default.nix2
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 4c5da695eb6..3b100510627 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 = {