diff --git a/INSTALL b/INSTALL
index 5e612e442077a2cb0998ba0d13e8623d8e131f38..a87f46c7072230a2ebe1f078179f0d3c77736e3f 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,3 +1,10 @@
+Documentation
+=============
+
+Please note that a more detailed installation procedure is described in the
+docs/install.html file. A glossary of terms exists in the docs/admin.html file.
+
+
 Software Requirements
 =====================
 
@@ -43,8 +50,6 @@ This will install the software under /usr/local. You then need to copy
 ganeti.init to /etc/init.d/ganeti and integrate it into your boot sequence
 (``chkconfig``, ``update-rc.d``, etc.).
 
-More details about the installation process are in the docs/install.pdf file.
-
 
 Cluster initialisation
 ======================