From eda6660b2da060a549fb558adebab12e1426b729 Mon Sep 17 00:00:00 2001
From: Corey Richardson <corey@octayn.net>
Date: Thu, 29 Jun 2017 21:30:10 -0700
Subject: [PATCH] doc(msys2): add notes about installation

---
 doc/make/msys2.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/make/msys2.md b/doc/make/msys2.md
index 70d2684f31..a15d50fc06 100644
--- a/doc/make/msys2.md
+++ b/doc/make/msys2.md
@@ -33,3 +33,9 @@ mkdir build && cd build
 cmake ../src -G Ninja
 ninja
 ```
+
+## Install lean
+
+You can use the `install` ninja/make target to install Lean into, by, default,
+`C:\\User Programs (x86)\\LEAN`. To change this, add `-DCMAKE_INSTALL_PREFIX=path/you/want`
+to your cmake invocation.