1 files changed, 0 insertions, 0 deletions

diff --git a/doc/INSTALL b/doc/INSTALL
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/doc/INSTALL