From bee08aaa00749cb2a953537a505239eaeabd1de9 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Tue, 24 Apr 2018 11:59:51 +0200
Subject: Remove duplicate Introduction title.

---
 doc/sphinx/index.rst | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'doc')

diff --git a/doc/sphinx/index.rst b/doc/sphinx/index.rst
index 296330607..136f9088b 100644
--- a/doc/sphinx/index.rst
+++ b/doc/sphinx/index.rst
@@ -3,9 +3,6 @@
 .. include:: preamble.rst
 .. include:: replaces.rst
 
-Introduction
-===========================================
-
 .. include:: introduction.rst
 .. include:: credits.rst
 
-- 
cgit v1.2.3