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 30af392315f82cbdd6b71bfcd5caa9fa10ad3ee7..31253dbd99123c108a25a799c85bd3d82a350871 100644 (file)
--- 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