306
/** Joins one or more paths together. Accepts 1 or more arguments.
308
function path_join(path1 /*, path2, ... */)
312
for (var i=1; i<arguments.length; i++)
315
if (arg.length == 0) continue;
320
if (path[path.length-1] != '/')
328
/** Given a path relative to the IVLE root, gives a path relative to
331
function make_path(path)
333
return path_join(root_dir, path);