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