# HG changeset patch
# User ib
# Date 1308497758 0
# Node ID 42b250e4f40eaea3ffc1bab13d4b50b88be6f9fc
# Parent  d9b805602aa147c513f712c44308d51fce50343a
Add missing gui directory to Makefile.

diff -r d9b805602aa1 -r 42b250e4f40e Makefile
--- a/Makefile	Sun Jun 19 15:34:08 2011 +0000
+++ b/Makefile	Sun Jun 19 15:35:58 2011 +0000
@@ -738,6 +738,7 @@
         gui/skin \
         gui/ui \
         gui/ui/gtk \
+        gui/util \
         gui/win32 \
         gui/wm \
         input \