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 = \
#include <config.h>
#include "gtkxpaned.h"
+
+#include <gtk/gtk.h>
#include <ui/gui/psppire-marshal.h>
-#include <gtk/gtkbindings.h>
-#include <gtk/gtksignal.h>
#include <gdk/gdkkeysyms.h>
-#include <gtk/gtkwindow.h>
-#include <gtk/gtkmain.h>
+
enum WidgetProperties
{