From 04174a2fb20a07198dc424bcd6113fe254f8818c Mon Sep 17 00:00:00 2001
From: Joost Rijneveld <joost@joostrijneveld.nl>
Date: Mon, 20 Feb 2017 18:31:56 +0100
Subject: [PATCH] Fix incorrect release folder name in docs

---
 doc/compiling.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/compiling.md b/doc/compiling.md
index 30f23b63a..296d64b17 100644
--- a/doc/compiling.md
+++ b/doc/compiling.md
@@ -27,13 +27,13 @@ $ make
 You could install to a user folder e.g `$HOME`:
 
 ```
-$ cd release; make install DESTDIR=$HOME
+$ cd build/Release; make install DESTDIR=$HOME
 ```
 
 Or system wide:
 
 ```
-$ cd release; sudo make install
+$ cd build/Release; sudo make install
 ```
 
 ## Linux