X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fgtk-contrib%2Fautomake.mk;h=e694d714cdb345b445dfb49978e26b1f4bccdf93;hb=cac613dc3a5562bc92b2b6679a5d646e3e5f2e3e;hp=f3cd96e21a89437508f54e2678d186c246300bd6;hpb=493be05e2d65454fc7f14f417146049f56147709;p=pspp

diff --git a/lib/gtk-contrib/automake.mk b/lib/gtk-contrib/automake.mk
index f3cd96e21a..e694d714cd 100644
--- a/lib/gtk-contrib/automake.mk
+++ b/lib/gtk-contrib/automake.mk
@@ -2,6 +2,7 @@
 
 noinst_LIBRARIES += lib/gtk-contrib/libgtksheet.a
 
+lib_gtk_contrib_libgtksheet_a_CPPFLAGS = $(AM_CPPFLAGS) -Isrc/ui/gui/include
 lib_gtk_contrib_libgtksheet_a_CFLAGS = $(GTK_CFLAGS) -Wall -DGDK_MULTIHEAD_SAFE=1
 
 lib_gtk_contrib_libgtksheet_a_SOURCES = \
@@ -12,6 +13,5 @@ lib_gtk_contrib_libgtksheet_a_SOURCES = \
 	lib/gtk-contrib/gtkxpaned.h
 
 EXTRA_DIST += lib/gtk-contrib/OChangeLog \
-	lib/gtk-contrib/README \
-	lib/gtk-contrib/gtk-builder-convert
+	lib/gtk-contrib/README