diff --git a/INSTALL b/INSTALL
new file mode 120000
index 0000000000..6b3ea26f4c
--- /dev/null
+++ b/INSTALL
@@ -0,0 +1 @@
+doc/sphinx/source/install.rst
\ No newline at end of file