X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMisc.ml;h=a35a57ed644943103e5c5a9e22806abc28445df9;hb=c0f06261e5626228e4681de9973b6412524f09a2;hp=07143db991bc4f84d9f1b62997ded1d1246e3f09;hpb=aac382f935bc72578119fa7ff9f53c3b649dd0dd;p=helm.git

diff --git a/helm/matita/matitaMisc.ml b/helm/matita/matitaMisc.ml
index 07143db99..a35a57ed6 100644
--- a/helm/matita/matitaMisc.ml
+++ b/helm/matita/matitaMisc.ml
@@ -192,3 +192,5 @@ let qualify status name = get_string_option status "baseuri" ^ "/" ^ name
 
 let unopt = function None -> failwith "unopt: None" | Some v -> v
 
+let image_path n = sprintf "%s/%s" BuildTimeConf.images_dir n
+