From 3373a1985c1add95663c1e1dd1611f6c9da08214 Mon Sep 17 00:00:00 2001
From: Milo Davis <davis.mil@husky.neu.edu>
Date: Mon, 8 Jan 2018 21:14:22 -0500
Subject: [PATCH] Michelson: document contract creation from literal

---
 docs/michelson.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/docs/michelson.md b/docs/michelson.md
index 0dcd4b454..dc320ffce 100644
--- a/docs/michelson.md
+++ b/docs/michelson.md
@@ -1099,6 +1099,20 @@ for under/overflows.
      executed contract. The contract is returned as a first class
      value to be called immediately or stored.
 
+   * `CREATE_CONTRACT { storage 'g ; parameter 'p ; return 'r ; code ... }`:
+     Forge a new contract from a literal.
+
+
+        :: key_hash : key_hash? : bool : bool : tez : 'g : 'S
+           -> contract 'p 'r : 'S
+
+     Originate a contract based on a literal. This is currently the only way to include
+     transfers inside of an originated contract. The first parameters are
+     the manager, optional delegate, then spendable and delegatable
+     flags and finally the initial amount taken from the currently
+     executed contract. The contract is returned as a first class
+     value to be called immediately or stored.
+
    * `CREATE_ACCOUNT`:
      Forge an account (a contract without code).