remove PKG_HOMEPAGE from engine

mirleft · Sep 27, 2022 · d3f3516 · d3f3516
1 parent 8e65b99
commit d3f3516
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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} *)