src/ui/gui/widget-io.c \
src/ui/gui/widget-io.h \
src/ui/gui/widgets.c \
- src/ui/gui/widgets.h
+ src/ui/gui/widgets.h \
+ src/ui/gui/windows-menu.c \
+ src/ui/gui/windows-menu.h
OBSOLETE = \
BUILT_SOURCES += src/ui/gui/psppire-marshal.c src/ui/gui/psppire-marshal.h
CLEANFILES += src/ui/gui/psppire-marshal.c src/ui/gui/psppire-marshal.h \
$(nodist_src_ui_gui_psppire_DATA)
+include $(top_srcdir)/src/ui/gui/efficient-sheet/automake.mk
endif HAVE_GUI
#ensure the installcheck passes even if there is no X server available