This commit is contained in:
Jeremie Dimino 2018-03-15 17:42:56 +00:00 committed by Rudi Grinberg
parent 727d9688e9
commit ee5dd505fb
1 changed files with 2 additions and 0 deletions

View File

@ -107,6 +107,8 @@ module Alias : sig
val private_doc : dir:Path.t -> t
val lint : dir:Path.t -> t
(** Alias for all the files in [_build/install] that belong to this
package *)
val package_install : context:Context.t -> pkg:Package.Name.t -> t
(** Return the underlying stamp file *)