(* $Id$ *)
+(* FG
+ * From Cambridge dictionary
+ * Dependency:
+ * a country which is supported and governed by another country
+ * Dependence:
+ * when you need something or someone all the time, especially in order to
+ * continue existing or operating
+ *
+ * Fate vobis ...
+ *)
+
exception UnableToInclude of string
(* statements meaningful for matitadep *)
| p :: tl ->
let path = p ^ "/" ^ path in
try
- ignore (Unix.stat path); path
+ ignore (Unix.stat path);
+ HLog.debug ("Including "^path^" with path: " ^ p);
+ path
with Unix.Unix_error _ -> aux tl
in
try