From 0cb5e9b8c7650e5217aa404f5ec70ed4cbce7bfc Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 25 May 2011 21:31:33 -0700
Subject: [PATCH] gui: Clean generated gtk.h wrapper on "make clean".

Fixes "make distcheck".

Reported by John Darrington.
---
 src/ui/gui/automake.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ui/gui/automake.mk b/src/ui/gui/automake.mk
index 30af3923..31253dbd 100644
--- a/src/ui/gui/automake.mk
+++ b/src/ui/gui/automake.mk
@@ -303,4 +303,5 @@ src/ui/gui/include/gtk/gtk.h: src/ui/gui/include/gtk/gtk.in.h
 	      < $(srcdir)/src/ui/gui/include/gtk/gtk.in.h; \
 	} > $@-t && \
 	mv $@-t $@
+CLEANFILES += src/ui/gui/include/gtk/gtk.h
 EXTRA_DIST += src/ui/gui/include/gtk/gtk.in.h
-- 
2.30.2