diff --git a/cli/pull.ml b/cli/pull.ml index 0fb161f..fa53a31 100644 --- a/cli/pull.ml +++ b/cli/pull.ml @@ -105,7 +105,8 @@ let pull_index url authors_opt topics_opt = authors = (match authors_opt with Some s -> Person.Set.of_string s | None -> Person.Set.empty); topics =( match topics_opt with Some s -> String_set.of_string s | None -> String_set.empty); } in - let print = printers (string_of_int @@ Logarion.Header_pack.numof_texts pk) pk.info.title dir in + let name = match pk.info.title with "" -> url | title -> title in + let print = printers (string_of_int @@ Logarion.Header_pack.numof_texts pk) name dir in try Logarion.Header_pack.iteri (per_text url dir filter print) pk; print_newline (); true with Invalid_argument msg -> Printf.eprintf "\nFailed to parse %s: %s\n%!" url msg; false