From 11360fd1a7a10e279bfb9ac95ceb893b3138f0ab Mon Sep 17 00:00:00 2001
From: AdrienChampion <adrien.champion@email.com>
Date: Sat, 2 Mar 2019 18:46:20 +0100
Subject: [PATCH] added link to homepage in user doc

---
 docs/index.md            | 4 ++--
 docs/user_doc/index.html | 2 +-
 docs/user_doc/print.html | 2 +-
 user_doc/src/index.md    | 3 ++-
 4 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/docs/index.md b/docs/index.md
index 143562a..7be686d 100644
--- 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
\ No newline at end of file
+[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/
\ No newline at end of file
diff --git a/docs/user_doc/index.html b/docs/user_doc/index.html
index 192896b..9106872 100644
--- 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="/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
index 1cb0dde..1fba863 100644
--- 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="/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
index cfd87cf..8f9b38e 100644
--- 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)