From 80519d93a6853a3dcfc9a601da6139c320f84028 Mon Sep 17 00:00:00 2001
From: John Whitington <john@coherentgraphics.co.uk>
Date: Mon, 17 Mar 2025 19:25:07 +0000
Subject: [PATCH] Make sure plan named destinations round-trip through JSON

---
 cpdfbookmarks.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cpdfbookmarks.ml b/cpdfbookmarks.ml
index 6a76ef0..e4d3ae5 100644
--- a/cpdfbookmarks.ml
+++ b/cpdfbookmarks.ml
@@ -45,7 +45,7 @@ let target_of_markfile_obj pdf i' pdfobj =
         end
   (* Need to deal with "null", "(string)", and "<<other thing like action" *) 
   | Pdf.Null -> Pdfdest.NullDestination
-  | Pdf.String s -> Pdfdest.read_destination pdf (Pdf.String s)
+  | Pdf.String s -> Pdfdest.NamedDestinationElsewhere s (* TODO Remove hack. *)
   | x -> Pdfdest.Action x
 
 let target_of_markfile_target pdf i' = function