From e0a74c4a0182dee288f70b41b131325fdf82994e Mon Sep 17 00:00:00 2001
From: Nicolas Ayache <nicolas.ayache@nomadic-labs.com>
Date: Mon, 12 Jun 2023 23:28:37 +0200
Subject: [PATCH] Doc/Michelson: redirect events to interactive reference.

---
 docs/alpha/michelson.rst | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

diff --git a/docs/alpha/michelson.rst b/docs/alpha/michelson.rst
index 51b9da1b4578..681d1221266c 100644
--- a/docs/alpha/michelson.rst
+++ b/docs/alpha/michelson.rst
@@ -1052,16 +1052,10 @@ Operations on timelock
 Events
 ~~~~~~
 
-- ``EMIT %tag 'ty``: constructs an operation that will write an event into
-  the transaction receipt after the successful execution of this contract.
-  It accepts as arguments an annotation as a tag to the emitted event and
-  the type of data attachment.
-
-  See :doc:`Event <event>` for more information.
-
-::
+A detailed description of the following instructions can be found in the `interactive Michelson reference manual <https://tezos.gitlab.io/michelson-reference/>`__.
 
-    :: 'ty : 'S -> operation : 'S
+- ``EMIT %tag 'ty``: constructs an operation that will write an event into
+  the transaction receipt (`documentation <https://tezos.gitlab.io/michelson-reference/#instr-EMIT>`__).
 
 
 Removed instructions and types
-- 
GitLab