\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
+module F = Filename
module C = Cps
type uri_generator = string -> string
| Brg -> "brg"
| Bag -> "bag"
in
- let si = if !si then "-si" else "" in
+ let si = if !si then "_si" else "" in
id ^ si
let get_baseuri () =
- String.concat "/" ["ld:"; kernel_id (); !cover ]
+ String.concat "/" ["ld:"; kernel_id (); !cover; "" ]
let get_mk_uri () =
let bu = get_baseuri () in
- fun s -> bu ^ "/" ^ s ^ ".ld"
+ fun s -> F.concat bu (s ^ ".ld")
let clear () =
xdir := ""; kernel := Brg; si := false; cover := "";