1 files changed, 4 insertions, 0 deletions
diff --git a/docs/INSTALL b/docs/INSTALL
new file mode 100755
index 00000000000..21feb7c2057
--- /dev/null
+++ b/docs/INSTALL
@@ -0,0 +1,4 @@
+nothing here yet
+
+
+