From 4b3c72cfa5d37ffd43e55a57307228cf28d26c13 Mon Sep 17 00:00:00 2001
From: steve.greedy <steve.greedy@nottingham.ac.uk>
Date: Fri, 10 Aug 2018 15:00:06 +0100
Subject: [PATCH] Update UBUNTU Install Example

---
 GUI/SW1/INSTALL.EXAMPLE.UBUNTU.md | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/GUI/SW1/INSTALL.EXAMPLE.UBUNTU.md b/GUI/SW1/INSTALL.EXAMPLE.UBUNTU.md
index 3a2e521..a2166a1 100644
--- a/GUI/SW1/INSTALL.EXAMPLE.UBUNTU.md
+++ b/GUI/SW1/INSTALL.EXAMPLE.UBUNTU.md
@@ -12,7 +12,13 @@ Note: The latest stable release is the recommended version version 3.0.2.
 	
 Inspect the output and make note of any reported missing dependancies and install, typically for a fresh Ubuntu install this would be GTK+2.0
 
-e.g To install GTK+3.0: sudo apt-get install gtk+3.0
+e.g To install GTK+3.0: 
+
+    sudo apt-get install gtk+3.0
+
+and
+
+    sudo apt-get install libgtk-3-dev
 
 Once ./configure runs succesfully:
 
--
libgit2 0.21.2