- let moo_fname = MatitacleanLib.obj_file_of_script fname in
- MatitaMoo.save_moo moo_fname moo_content_rev;
- MatitaLog.message
+ let basedir = Helm_registry.get "matita.basedir" in
+ let moo_fname = GrafiteMisc.obj_file_of_script ~basedir fname in
+ let metadata_fname = GrafiteMisc.metadata_file_of_script ~basedir fname in
+ GrafiteMarshal.save_moo moo_fname moo_content_rev;
+ LibraryNoDb.save_metadata metadata_fname metadata;
+ HLog.message