From ee03d30e17dd0f78cbad175461ba496910a7e08c Mon Sep 17 00:00:00 2001
From: Regis Blanc <regwblanc@gmail.com>
Date: Tue, 31 Mar 2015 14:03:55 +0200
Subject: [PATCH] add a tutorial section
---
doc/gettingstarted.rst | 2 ++
doc/index.rst | 1 +
doc/tutorial.rst | 7 +++++++
3 files changed, 10 insertions(+)
create mode 100644 doc/tutorial.rst
diff --git a/doc/gettingstarted.rst b/doc/gettingstarted.rst
index 15b6fea37..bd3810a64 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 0c972a995..2d8042646 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 000000000..8a84a5db5
--- /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.
--
GitLab