Skip to content

Commit

Permalink
_
Browse files Browse the repository at this point in the history
Signed-off-by: Rudi Grinberg <[email protected]>
  • Loading branch information
rgrinberg committed Sep 3, 2020
1 parent e7106e7 commit 7247e91
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion src/dune_engine/install.ml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
open! Stdune
open Import
module DuneSection = Section
module Dune_section = Section

(* The path after the man section mangling done by opam-installer. This roughly
follows [add_man_section_dir] in [src/format/opamFile.ml] in opam. *)
Expand Down
4 changes: 2 additions & 2 deletions src/dune_engine/install.mli
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(** Opam install file *)
open! Stdune

module DuneSection = Section
module Dune_section = Section

module Dst : sig
type t
Expand Down Expand Up @@ -82,7 +82,7 @@ module Entry : sig
val make_with_site :
Section_with_site.t
-> ?dst:string
-> (pkg:Package.Name.t -> site:DuneSection.Site.t -> Section.t)
-> (pkg:Package.Name.t -> site:Dune_section.Site.t -> Section.t)
-> Path.Build.t
-> Path.Build.t t

Expand Down

0 comments on commit 7247e91

Please sign in to comment.