X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/d9ce6feb2d36e40e83326744f1d4ff3890d1874f..98edd00eb4b05e85f7cb1b85cff2f4d733909c57:/doc/index.rst
diff --git a/doc/index.rst b/doc/index.rst
index 97e6157..d4defce 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -1,25 +1,30 @@
-.. pypol documentation master file, created by
-   sphinx-quickstart on Wed Jun 25 20:34:21 2014.
-   You can adapt this file completely to your liking, but it should at least
-   contain the root `toctree` directive.
 
-Welcome to Linpyâs documentation!
+Welcome to LinPyâs documentation!
 =================================
 
-Linpy is a Python library for symbolic mathematics.
-If you are new to Linpy, start with the Examples.
+LinPy is a polyhedral library for Python based on `isl `_.
+Integer Set Library (isl) is a C library for manipulating sets and relations of integer points bounded by linear constraints.
 
-This is the central page for all of Linpyâs documentation.
+LinPy is a free software, licensed under the `GPLv3 license `_.
+Its source code is available `here `_.
 
+To have an overview of LinPy's functionalities, you may wish to consult the :ref:`tutorial` section.
 
-Contents:
+.. only:: html
+
+    Contents:
 
 .. toctree::
-   :maxdepth: 2
+    :maxdepth: 2
 
-   install.rst
-   examples.rst
-   modules.rst
+    install.rst
+    tutorial.rst
+    reference.rst
 
+.. only:: html
 
+    Indices and tables
+    ==================
 
+    * :ref:`genindex`
+    * :ref:`search`