This commit is contained in:
John Whitington 2021-11-22 15:56:40 -08:00
parent 451514cae4
commit 35d1675553
1 changed files with 2 additions and 0 deletions

View File

@ -2950,6 +2950,8 @@ let typeset text =
Pdfpage.add_root pageroot [] pdf Pdfpage.add_root pageroot [] pdf
let typeset_table_of_contents pdf = let typeset_table_of_contents pdf =
let marks = Pdfmarks.read_bookmarks pdf in
if marks = [] then (Printf.eprintf "No bookmarks, not making table of contents\n%!"; pdf) else
let f = (Pdftext.StandardFont (Pdftext.Courier, Pdftext.WinAnsiEncoding), 10.) in let f = (Pdftext.StandardFont (Pdftext.Courier, Pdftext.WinAnsiEncoding), 10.) in
let firstpage = hd (Pdfpage.pages_of_pagetree pdf) in let firstpage = hd (Pdfpage.pages_of_pagetree pdf) in
let firstpage_papersize = let firstpage_papersize =