From fd11b28d156cc9f2a39a50f27d7b58d69401ed6d Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Thu, 2 Oct 2014 17:03:41 -0700
Subject: [PATCH] doc(make/msys2): update instructions

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

diff --git a/doc/make/msys2.md b/doc/make/msys2.md
index 21cae5890..d1289c985 100644
--- a/doc/make/msys2.md
+++ b/doc/make/msys2.md
@@ -20,19 +20,19 @@ Here are the commands to install all dependencies needed to compile Lean on your
 
 ```bash
 # Update Packages
-pacman -Syu
+pacman -Sy
 
 # Install gcc (4.9.1)
-pacman -Su mingw-w64-x86_64-gcc
+pacman -S mingw-w64-x86_64-gcc
 
 # Install mpfr, gmp, lua
-pacman -Su mingw-w64-x86_64-mpfr mingw-w64-x86_64-gmp mingw-w64-x86_64-lua
+pacman -S mingw-w64-x86_64-mpfr mingw-w64-x86_64-gmp mingw-w64-x86_64-lua
 
-# Install python, ninja, gdb, cmake
-pacman -Su python2 mingw-w64-x86_64-ninja mingw-w64-x86_64-gdb mingw-w64-x86_64-cmake
+# Install python, ninja, cmake
+pacman -S mingw-w64-x86_64-python2 mingw-w64-x86_64-ninja mingw-w64-x86_64-cmake
 
 # Install git
-pacman -Su git
+pacman -S git
 ```
 Make sure that you add `c:\msys64\mingw64\bin` into the `PATH` environment variable.