This commit is contained in:
John Whitington
2021-12-31 19:33:34 +00:00
parent 9c5a905cc7
commit 962e27dd14
7 changed files with 22 additions and 30 deletions

View File

@@ -1,7 +1,7 @@
open Pdfutil
open Pdfio
(* \section{Making draft documents} *)
(* Making draft documents *)
(* Predicate on an xobject: true if an image xobject. *)
let isimage pdf (_, xobj) =