2023-11-15 18:26:43 +01:00
|
|
|
open Pdfutil
|
|
|
|
|
open Cpdferror
|
|
|
|
|
|
2023-11-16 19:18:11 +01:00
|
|
|
(* Prevent duplication of content by sharing content streams *)
|
|
|
|
|
(* Resources - patterns etc. - pattern matrices *)
|
|
|
|
|
(* Bookmarks: merge/duplicate them *)
|
|
|
|
|
(* Annotations: merge/duplicate them *)
|
|
|
|
|
(* Page boxes - mediabox or cropbox used? Output modifies all boxes? *)
|
|
|
|
|
(* fast/slow *)
|
|
|
|
|
|
2023-11-15 18:26:43 +01:00
|
|
|
(* Chop pages into pieces *)
|
|
|
|
|
let chop ~x ~y pdf range = pdf
|
