(* must be called after init since args are set by cmdline parsing *)
let fname = fname () in
if false then
- (let basename = Filename.basename (Filename.chop_extension fname) in
- let baseuri =
+ (let baseuri =
(* This does not work yet :-(
let baseuri =
GrafiteTypes.get_string_option