From 7f2e00682e9ebde572e123cb36bc61be5002ecbf Mon Sep 17 00:00:00 2001
From: konradit <konradit@users.noreply.github.com>
Date: Fri, 21 Dec 2018 11:22:38 +0100
Subject: [PATCH] Add Linux instructions ('make' vs 'make .')

---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index 8358960..d60ea22 100755
--- a/README.md
+++ b/README.md
@@ -81,6 +81,12 @@ $ make .
 $ ./source/app/gpr_tools/gpr_tools
 ```
 
+Linux build instructions, after running the above:
+```
+$ make 
+$ ./source/app/gpr_tools/gpr_tools
+```
+
 ## Using gpr_tools
 
 Some example commands are shown below: