Fix make clean
[linpy.git] / doc / index.rst
index b3a9271..ce346f1 100644 (file)
@@ -1,25 +1,32 @@
-.. LinPy 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!
 =================================
 
-LinPy is a Python wrapper for the Integer Set Library (isl) by Sven Verdoolaege. Isl ia a C library for manipulating sets and relations of integer points bounded by linear constraints. 
+LinPy is a polyhedral library for Python based on `isl <http://isl.gforge.inria.fr/>`_.
+Integer Set Library (isl) is a C library for manipulating sets and relations of integer points bounded by linear constraints.
 
-If you are new to LinPy, start with the Examples.
+LinPy is a free software, licensed under the `GPLv3 license <http://www.gnu.org/licenses/gpl-3.0.txt>`_.
+Its source code is available `here <https://scm.cri.mines-paristech.fr/git/linpy.git>`_.
 
-This is the central page for all of LinPy’s documentation.
+To have an overview of LinPy's features, you may wish to read the :ref:`tutorial`.
+For a comprehensive description of its functionalities, please consult the :ref:`reference`.
 
-Contents:
+.. only:: html
+
+    Contents:
 
 .. toctree::
-   :maxdepth: 2
+    :maxdepth: 2
+
+    install.rst
+    tutorial.rst
+    reference.rst
 
-   install.rst
-   examples.rst
-   modules.rst
 
+.. only:: html
 
+    Indices and tables
+    ==================
 
+    * :ref:`genindex`
+    * :ref:`search`