From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 26 May 2011 04:31:33 +0000 (-0700)
Subject: gui: Clean generated gtk.h wrapper on "make clean".
X-Git-Tag: v0.7.9~285
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0cb5e9b8c7650e5217aa404f5ec70ed4cbce7bfc;p=pspp-builds.git

gui: Clean generated gtk.h wrapper on "make clean".

Fixes "make distcheck".

Reported by John Darrington.
---

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