From 07574323f75ab22c10aefa12291f25e65f984a08 Mon Sep 17 00:00:00 2001 From: John Whitington Date: Tue, 18 Oct 2022 13:48:35 +0100 Subject: [PATCH] Revert to fonts not fontpacks in cpdftype --- cpdftype.ml | 2 +- cpdftype.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/cpdftype.ml b/cpdftype.ml index 360853c..863d821 100644 --- a/cpdftype.ml +++ b/cpdftype.ml @@ -18,7 +18,7 @@ type element = | VGlue of glue | NewLine | NewPage -| Font of (Cpdfembed.t * float) +| Font of (Pdftext.font * float) | BeginDest of Pdfdest.t | EndDest | BeginDocument diff --git a/cpdftype.mli b/cpdftype.mli index 308d2cd..fad857e 100644 --- a/cpdftype.mli +++ b/cpdftype.mli @@ -10,7 +10,7 @@ type element = | VGlue of glue | NewLine | NewPage -| Font of (Cpdfembed.t * float) +| Font of (Pdftext.font * float) | BeginDest of Pdfdest.t | EndDest | BeginDocument