X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fautomake.mk;h=b9246ccc49c06384c5a3d038724769a9870f5a2b;hb=b48a20de787a6374000174949dcd8f9666ecc51c;hp=6440215a7667f684edceb3f647314b136d0efb1f;hpb=deb4fd96c0c171fc8eb64f7f1e7f5c2af4931416;p=pspp-builds.git

diff --git a/src/ui/gui/automake.mk b/src/ui/gui/automake.mk
index 6440215a..b9246ccc 100644
--- a/src/ui/gui/automake.mk
+++ b/src/ui/gui/automake.mk
@@ -76,6 +76,7 @@ nodist_src_ui_gui_psppire_DATA = \
 	$(top_builddir)/src/ui/gui/rank.ui \
 	$(top_builddir)/src/ui/gui/recode.ui \
 	$(top_builddir)/src/ui/gui/regression.ui \
+	$(top_builddir)/src/ui/gui/syntax-editor.ui
 	$(top_builddir)/src/ui/gui/t-test.ui
 
 EXTRA_DIST += \
@@ -252,4 +253,4 @@ EXTRA_DIST += src/ui/gui/OChangeLog\
 
 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)
\ No newline at end of file
+	$(nodist_src_ui_gui_psppire_DATA)