- let metadata_fname= LibraryMisc.metadata_file_of_baseuri ~basedir ~baseuri in
- GrafiteMarshal.save_moo moo_fname status.GrafiteTypes.moo_content_rev;
- LibraryNoDb.save_metadata metadata_fname status.GrafiteTypes.metadata
+ let metadata_fname =
+ LibraryMisc.metadata_file_of_baseuri ~basedir ~baseuri in
+ let lexicon_fname =
+ LibraryMisc.lexicon_file_of_baseuri ~basedir ~baseuri
+ in
+ GrafiteMarshal.save_moo moo_fname
+ grafite_status.GrafiteTypes.moo_content_rev;
+ LibraryNoDb.save_metadata metadata_fname
+ lexicon_status.LexiconEngine.metadata;
+ LexiconMarshal.save_lexicon lexicon_fname
+ lexicon_status.LexiconEngine.lexicon_content_rev