This commit is contained in:
John Whitington 2022-09-27 17:28:08 +01:00
parent a0b30c5843
commit 997176252d
1 changed files with 0 additions and 1 deletions

View File

@ -111,7 +111,6 @@ let typeset_table_of_contents ?embedinfo ~font ~fontsize ~title ~bookmark pdf =
(cminx +. margin, (pmaxx -. cmaxx) +. margin, cminy +. margin, (pmaxy -. cmaxy) +. margin) (cminx +. margin, (pmaxx -. cmaxx) +. margin, cminy +. margin, (pmaxy -. cmaxy) +. margin)
in in
let codepoints = map fst (list_of_hashtbl used) in let codepoints = map fst (list_of_hashtbl used) in
Printf.printf "%i codes used\n" (length codepoints);
let font = let font =
match embedinfo with match embedinfo with
| None -> font | None -> font