From cecd042daa2690d4d06f7d42a5e5788e9aa03277 Mon Sep 17 00:00:00 2001
From: Benjamin Canou <benjamin@canou.fr>
Date: Mon, 4 Dec 2017 19:06:27 +0100
Subject: [PATCH] Move Michelson specification to /docs

---
 docs/README.alphanet                                          | 4 ++--
 .../docs/language.md => docs/michelson.md                     | 0
 2 files changed, 2 insertions(+), 2 deletions(-)
 rename lib_embedded_protocol_alpha/docs/language.md => docs/michelson.md (100%)

diff --git a/docs/README.alphanet b/docs/README.alphanet
index b73219220..e4feeeb59 100644
--- a/docs/README.alphanet
+++ b/docs/README.alphanet
@@ -176,8 +176,8 @@ How to play with smart-contracts ?
 
 An advanced documentation of the smart contract language is in
 
-  `/src/proto/alpha/docs/language.md`
-  
+  `/docs/language.md`
+
 Some test contracts are in
 
    `/tests/contracts/`
diff --git a/lib_embedded_protocol_alpha/docs/language.md b/docs/michelson.md
similarity index 100%
rename from lib_embedded_protocol_alpha/docs/language.md
rename to docs/michelson.md