diff --git a/doc/gettingstarted.rst b/doc/gettingstarted.rst
index 15b6fea3727bf96e9c77aba2cc5b2b95f81b1eed..bd3810a64d0df9fdefe7da1175566b11e58451d0 100644
--- a/doc/gettingstarted.rst
+++ b/doc/gettingstarted.rst
@@ -1,3 +1,5 @@
+.. _gettingstarted:
+
 Getting Started
 ===============
 
diff --git a/doc/index.rst b/doc/index.rst
index 0c972a995d7374fc189c80804ea034e3c89da8ad..2d80426466e4528798408c893d5a57c26019ec5d 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -13,6 +13,7 @@ Contents:
 
    intro
    gettingstarted
+   tutorial
    installation
    purescala
    xlang
diff --git a/doc/tutorial.rst b/doc/tutorial.rst
new file mode 100644
index 0000000000000000000000000000000000000000..8a84a5db58d0fe12a5af11b90f67374e599b9276
--- /dev/null
+++ b/doc/tutorial.rst
@@ -0,0 +1,7 @@
+.. _tutorial:
+
+Tutorial
+========
+
+In this section, we will go through an extended tutorial to demonstrate basic
+usage of Leon.