From a345ce1404c9b23acc734d4db82ef391efe05c98 Mon Sep 17 00:00:00 2001
From: Joris
Date: Mon, 5 Jun 2017 18:24:52 +0200
Subject: Fix dist command

---
 Makefile  | 4 +++-
 README.md | 6 +++---
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index 34d0709..a0458f1 100644
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,9 @@ start:
 stop:
 	@tmux kill-session -t sharedCost
 
-dist: clean install build
+dist:
+	@nix-shell --command "make clean install build"
+
 clean: clean-server clean-client
 install: install-server install-client
 build: build-server build-client
diff --git a/README.md b/README.md
index be06d1f..e746560 100644
--- a/README.md
+++ b/README.md
@@ -37,11 +37,11 @@ Later, stop the environment with:
 ./make stop
 ```
 
-Simple build
-------------
+Dist
+----
 
 ```
-./build
+make dist
 ```
 
 Configuration
-- 
cgit v1.2.3