From ee5dd505fb99144d659c7a7d42562494f0e445c4 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Thu, 15 Mar 2018 17:42:56 +0000 Subject: [PATCH] comment --- src/build_system.mli | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/build_system.mli b/src/build_system.mli index 84df0422..5dd60c2d 100644 --- a/src/build_system.mli +++ b/src/build_system.mli @@ -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 *)