let repo = Helm_registry.get "matita.weblib" in
let errno, outstr = exec_process
- ("svn co " ^ repo ^ " " ^ rt_dir ^ "/users/" ^ user ^ "/scripts")
+ ("svn co " ^ repo ^ " " ^ rt_dir ^ "/users/" ^ user ^ "/")
in
if errno = 0 then ()
else raise (SvnError outstr)