diff options
author | François Bobot <francois.bobot@cea.fr> | 2023-03-14 11:32:04 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-03-14 14:37:57 +0100 |
commit | 3b3e37f996a1265c6bfb7b4415241e3519c286c0 (patch) | |
tree | 4cd5ce9a45790833dd3330075c0c3318d3335973 /pkgs/servers/sql/postgresql/ext/plpgsql_check.nix | |
parent | ca295db2f80e926a99f5e4377943011b32a57a51 (diff) |
[OCaml] tell dune where to install man
`fixupPhase` move `$out/man` to `$out/share/man`. So the information of their location in the dune-project file is outdated which breaks dependencies on packages ( `(package foo)`).
Diffstat (limited to 'pkgs/servers/sql/postgresql/ext/plpgsql_check.nix')
0 files changed, 0 insertions, 0 deletions