added link to homepage in user doc

OCamlPro · Mar 2, 2019 · 11360fd · 11360fd
1 parent 1749276
commit 11360fd
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 5 deletions.
diff --git a/docs/index.md b/docs/index.md
@@ -66,5 +66,5 @@ For example
 [dune]: https://github.com/ocaml/dune
 [mdbook]: https://github.com/rust-lang-nursery/mdBook
 [Liquidity]: http://www.liquidity-lang.org/
-[adrienchampion.github.io/blog]: https://adrienchampion.github.io/blog
-[the main repository's github pages]: https://adrienchampion.github.io/blog/tezos/techelson/with_liquidity/index.html
+[adrienchampion.github.io/blog]: https://adrienchampion.github.io/blog/tezos/techelson/with_liquidity/index.html
+[the main repository's github pages]: https://ocamlpro.github.io/techelson/user_doc/
diff --git a/docs/user_doc/index.html b/docs/user_doc/index.html
@@ -141,7 +141,7 @@ <h1 class="menu-title">Techelson User Documentation</h1>
                 <div id="content" class="content">
                     <main>
                         <a class="header" href="#techelson" id="techelson"><h1>Techelson</h1></a>
-<p><strong>Techelson</strong> is a <strong>T</strong>est <strong>E</strong>xecution <strong>E</strong>nvironment (TEE) for <a href="https://tezos.gitlab.io/master/whitedoc/michelson.html" title="Michelson documentation page">Michelson smart contracts</a>.
+<p><strong><a href="https://ocamlpro.github.io/techelson" title="Techelson's homepage">Techelson</a></strong> is a <strong>T</strong>est <strong>E</strong>xecution <strong>E</strong>nvironment (TEE) for <a href="https://tezos.gitlab.io/master/whitedoc/michelson.html" title="Michelson documentation page">Michelson smart contracts</a>.
 Michelson is the stack-based language used by the <a href="https://tezos.com" title="Tezos official page">tezos blockchain</a>. Techelson is open
 source and <a href="https://github.com/OCamlPro/techelson" title="Techelson on github.com">hosted on github</a>, where you can find the build instructions.</p>
 <p>Techelson emulates just enough of the tezos blockchain protocol to be able to create smart

diff --git a/docs/user_doc/print.html b/docs/user_doc/print.html
@@ -141,7 +141,7 @@ <h1 class="menu-title">Techelson User Documentation</h1>
                 <div id="content" class="content">
                     <main>
                         <a class="header" href="#techelson" id="techelson"><h1>Techelson</h1></a>
-<p><strong>Techelson</strong> is a <strong>T</strong>est <strong>E</strong>xecution <strong>E</strong>nvironment (TEE) for <a href="https://tezos.gitlab.io/master/whitedoc/michelson.html" title="Michelson documentation page">Michelson smart contracts</a>.
+<p><strong><a href="https://ocamlpro.github.io/techelson" title="Techelson's homepage">Techelson</a></strong> is a <strong>T</strong>est <strong>E</strong>xecution <strong>E</strong>nvironment (TEE) for <a href="https://tezos.gitlab.io/master/whitedoc/michelson.html" title="Michelson documentation page">Michelson smart contracts</a>.
 Michelson is the stack-based language used by the <a href="https://tezos.com" title="Tezos official page">tezos blockchain</a>. Techelson is open
 source and <a href="https://github.com/OCamlPro/techelson" title="Techelson on github.com">hosted on github</a>, where you can find the build instructions.</p>
 <p>Techelson emulates just enough of the tezos blockchain protocol to be able to create smart

diff --git a/user_doc/src/index.md b/user_doc/src/index.md
@@ -1,6 +1,6 @@
 # Techelson
 
-**Techelson** is a **T**est **E**xecution **E**nvironment (TEE) for [Michelson smart contracts].
+**[Techelson]** is a **T**est **E**xecution **E**nvironment (TEE) for [Michelson smart contracts].
 Michelson is the stack-based language used by the [tezos blockchain][tezos]. Techelson is open
 source and [hosted on github], where you can find the build instructions.
 
@@ -33,6 +33,7 @@ The chapters of this book are
 
 All examples in this book are available in the [`rsc` directory of the github repository].
 
+[Techelson]: https://ocamlpro.github.io/techelson (Techelson's homepage)
 [Michelson smart contracts]: https://tezos.gitlab.io/master/whitedoc/michelson.html (Michelson documentation page)
 [tezos]: https://tezos.com (Tezos official page)
 [Liquidity]: http://www.liquidity-lang.org (Liquidity official page)