diff --git a/docs/source/index.rst b/docs/source/index.rst
index 4f38b3f..c038e70 100644
--- a/docs/source/index.rst
+++ b/docs/source/index.rst
@@ -28,7 +28,6 @@
 
 -  `Overview <#overview>`__
 -  `Quickstart <#quickstart>`__
--  `Install Caravel <#install-caravel>`__
 -  `Caravel Integration <#caravel-integration>`__
 
    -  `Repo Integration <#repo-integration>`__
@@ -156,33 +155,6 @@
 #. You are done! now go to https://efabless.com/open_shuttle_program/ to submit your project!
 
 
-Install Caravel
-===============
-
-To setup caravel, run the following:
-
-.. code:: bash
-    
-    git clone https://github.com/efabless/caravel_user_project.git
-    cd caravel_user_project
-    
-    make install
-
-To remove caravel, run
-
-.. code:: bash
-
-    make uninstall
-
-By default
-`caravel-lite <https://github.com/efabless/caravel-lite.git>`__ is
-installed. To install the full version of caravel, run this prior to
-calling make install.
-
-.. code:: bash
-
-    export CARAVEL_LITE=0
-
 Caravel Integration
 ===================