From b5083f57b2a524f8e2f8fa39458dd4c22dd7eba4 Mon Sep 17 00:00:00 2001
From: Nicolas Ayache <nicolas.ayache@nomadic-labs.com>
Date: Sat, 26 Nov 2022 11:29:42 +0100
Subject: [PATCH 1/2] Doc/Michelson: redirect unit operations to interactive
 reference.

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

diff --git a/docs/alpha/michelson.rst b/docs/alpha/michelson.rst
index b3ce82b33291..aafd8c0508b3 100644
--- a/docs/alpha/michelson.rst
+++ b/docs/alpha/michelson.rst
@@ -707,21 +707,10 @@ Operations
 Operations on unit
 ~~~~~~~~~~~~~~~~~~
 
--  ``UNIT``: Push a unit value onto the stack.
-
-::
-
-    :: 'A   ->   unit : 'A
-
-    > UNIT / S  =>  Unit : S
-
--  ``COMPARE``: Unit comparison
-
-::
-
-    :: unit : unit : 'S   ->   int : 'S
+A detailed description of the following instructions can be found in the `interactive Michelson reference manual <https://tezos.gitlab.io/michelson-reference/>`__.
 
-    > COMPARE / Unit : Unit : S  =>  0 : S
+-  ``UNIT``: Push a unit value onto the stack (`documentation <https://tezos.gitlab.io/michelson-reference/#instr-UNIT>`__).
+-  ``COMPARE``: Unit comparison (`documentation <https://tezos.gitlab.io/michelson-reference/#instr-COMPARE>`__).
 
 Operations on type never
 ~~~~~~~~~~~~~~~~~~~~~~~~
-- 
GitLab


From f61823071817e2e888270c4147fef1984fe92f2d Mon Sep 17 00:00:00 2001
From: Nicolas Ayache <nicolas.ayache@nomadic-labs.com>
Date: Sat, 26 Nov 2022 11:37:43 +0100
Subject: [PATCH 2/2] Doc/Michelson: redirect boolean operations to interactive
 reference.

---
 docs/alpha/michelson.rst | 47 +++++-----------------------------------
 1 file changed, 6 insertions(+), 41 deletions(-)

diff --git a/docs/alpha/michelson.rst b/docs/alpha/michelson.rst
index aafd8c0508b3..7dca777896bf 100644
--- a/docs/alpha/michelson.rst
+++ b/docs/alpha/michelson.rst
@@ -751,48 +751,13 @@ branches.
 Operations on booleans
 ~~~~~~~~~~~~~~~~~~~~~~
 
--  ``OR``
-
-::
-
-    :: bool : bool : 'S   ->   bool : 'S
-
-    > OR / x : y : S  =>  (x | y) : S
-
--  ``AND``
-
-::
-
-    :: bool : bool : 'S   ->   bool : 'S
-
-    > AND / x : y : S  =>  (x & y) : S
-
--  ``XOR``
-
-::
-
-    :: bool : bool : 'S   ->   bool : 'S
-
-    > XOR / x : y : S  =>  (x ^ y) : S
-
--  ``NOT``
-
-::
-
-    :: bool : 'S   ->   bool : 'S
-
-    > NOT / x : S  =>  ~x : S
-
--  ``COMPARE``: Boolean comparison
-
-::
-
-    :: bool : bool : 'S   ->   int : 'S
+A detailed description of the following instructions can be found in the `interactive Michelson reference manual <https://tezos.gitlab.io/michelson-reference/>`__.
 
-    > COMPARE / False : False : S  =>  0 : S
-    > COMPARE / False : True : S  =>  -1 : S
-    > COMPARE / True : False : S  =>  1 : S
-    > COMPARE / True : True : S  =>  0 : S
+-  ``OR`` (`documentation <https://tezos.gitlab.io/michelson-reference/#instr-OR>`__).
+-  ``AND`` (`documentation <https://tezos.gitlab.io/michelson-reference/#instr-AND>`__).
+-  ``XOR`` (`documentation <https://tezos.gitlab.io/michelson-reference/#instr-XOR>`__).
+-  ``NOT`` (`documentation <https://tezos.gitlab.io/michelson-reference/#instr-NOT>`__).
+-  ``COMPARE``: Boolean comparison (`documentation <https://tezos.gitlab.io/michelson-reference/#instr-COMPARE>`__).
 
 Operations on integers and natural numbers
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-- 
GitLab