From a00a820e0e9c574e0f1965b12288603c632a6989 Mon Sep 17 00:00:00 2001 From: John Whitington Date: Wed, 3 Jul 2024 13:42:09 +0100 Subject: [PATCH] more --- cpdfst.ml | 3 +++ cpdfst.mli | 3 +++ 2 files changed, 6 insertions(+) diff --git a/cpdfst.ml b/cpdfst.ml index 4c0f67a..5631cb2 100644 --- a/cpdfst.ml +++ b/cpdfst.ml @@ -1 +1,4 @@ (* Operations on structure trees. *) +open Pdfutil + +let trim_structure_tree pdf range = () diff --git a/cpdfst.mli b/cpdfst.mli index d24b711..a0ac2d0 100644 --- a/cpdfst.mli +++ b/cpdfst.mli @@ -1 +1,4 @@ (** Structure trees *) + +(** Trim structure tree to remove parts marked as not in the page range given. *) +val trim_structure_tree : Pdf.t -> int list -> unit