From d3f351659652abe1f251cbd96d81df66f99114de Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Tue, 27 Sep 2022 13:49:17 +0200
Subject: [PATCH] remove PKG_HOMEPAGE from engine

---
 lib/engine.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/engine.mli b/lib/engine.mli
index 285da021..8b0c3525 100644
--- a/lib/engine.mli
+++ b/lib/engine.mli
@@ -31,7 +31,7 @@
     functional matter ({!Engine}, this module), and effectful parts:
     {!Tls_lwt} and {!Tls_mirage}.
 
-    {e %%VERSION%% - {{:%%PKG_HOMEPAGE%% }homepage}} *)
+    {e %%VERSION%%} *)
 
 
 (** {1 Abstract state type} *)