moved readme's doc section around

OCamlPro · Feb 26, 2019 · ab5cdcd · ab5cdcd
1 parent 145feed
commit ab5cdcd
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/README.md b/README.md
@@ -4,6 +4,10 @@ TEst miCHELSON: `techelson`
 
 A test execution engine for Michelson smart contracts.
 
+# Documentation
+
+The user documentation is hosted here: [liquidity-lang.org/techelson/doc]. You can also access the bleeding edge version on [the main repo's git page]. Finally, there is a blog post by Techelson's main developer on how to use Techelson with [Liquidity]: [adrienchampion.github.io/blog].
+
 # Features
 
 Techelson is currently in beta. The rough list of (planned) features is
@@ -55,10 +59,6 @@ For example
 > techelson --contract rsc/tests/test0/contracts/test0.liq.tz -- rsc/tests/test0/okay/Test0Test1.techel
 ```
 
-# Documentation
-
-The user documentation is hosted here: [liquidity-lang.org/techelson/doc]. You can also access the bleeding edge version on [the main repo's git page]. Finally, there is a blog post by Techelson's main developer on how to use Techelson with [Liquidity]: [adrienchampion.github.io/blog].
-
 [dune]: https://github.com/ocaml/dune (Dune project manager's Github page)
 [mdbook]: https://github.com/rust-lang-nursery/mdBook (Mdbook's github repository)
 [liquidity-lang.org/techelson/doc]: http://www.liquidity-lang.org/techelson/doc (Techelson's user documentation)

diff --git a/docs/index.md b/docs/index.md
@@ -4,6 +4,10 @@ TEst miCHELSON: `techelson`
 
 A test execution engine for Michelson smart contracts.
 
+# Documentation
+
+The user documentation is hosted here: [liquidity-lang.org/techelson/doc]. You can also access the bleeding edge version on [the main repo's git page]. Finally, there is a blog post by Techelson's main developer on how to use Techelson with [Liquidity]: [adrienchampion.github.io/blog].
+
 # Features
 
 Techelson is currently in beta. The rough list of (planned) features is
@@ -55,10 +59,6 @@ For example
 > techelson --contract rsc/tests/test0/contracts/test0.liq.tz -- rsc/tests/test0/okay/Test0Test1.techel
 ```
 
-# Documentation
-
-The user documentation is hosted here: [liquidity-lang.org/techelson/doc]. You can also access the bleeding edge version on [the main repo's git page]. Finally, there is a blog post by Techelson's main developer on how to use Techelson with [Liquidity]: [adrienchampion.github.io/blog].
-
 [dune]: https://github.com/ocaml/dune (Dune project manager's Github page)
 [mdbook]: https://github.com/rust-lang-nursery/mdBook (Mdbook's github repository)
 [liquidity-lang.org/techelson/doc]: http://www.liquidity-lang.org/techelson/doc (Techelson's user documentation)