From 82214856b60199dc33ad3dbf1398e7515874d9c7 Mon Sep 17 00:00:00 2001
From: Remco Bloemen <remco@coblue.eu>
Date: Mon, 7 Mar 2016 17:54:37 +0100
Subject: [PATCH] Split build and install in build from source instructions.

Stack refuses to build when run under sudo.
---
 docs/install/server.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/install/server.md b/docs/install/server.md
index 14d8dfcc8..048987c88 100644
--- a/docs/install/server.md
+++ b/docs/install/server.md
@@ -55,7 +55,8 @@ sudo apt-get install -y libpq-dev
 ```bash
 git clone https://github.com/begriffs/postgrest.git
 cd postgrest
-sudo stack install --install-ghc --local-bin-path /usr/local/bin
+stack build --install-ghc
+sudo stack install --allow-different-user --local-bin-path /usr/local/bin
 ```
 
 * Run the server