X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fautomake.mk;h=11bf9bc723e4693449827db2989016b9d79f7606;hb=e0b455e1dd8b1bced47283aac4111cac225e45a3;hp=48154d6dc8cadb34dd997cad419b25e0937b5fbc;hpb=cd7df218e1f2798b4ac8e193558a67e6ad59e3ed;p=pspp-builds.git

diff --git a/src/ui/gui/automake.mk b/src/ui/gui/automake.mk
index 48154d6d..11bf9bc7 100644
--- a/src/ui/gui/automake.mk
+++ b/src/ui/gui/automake.mk
@@ -24,7 +24,7 @@ UI_FILES = \
 	src/ui/gui/variable-info.ui \
 	src/ui/gui/data-editor.ui \
 	src/ui/gui/output-viewer.glade \
-	src/ui/gui/syntax-editor.glade
+	src/ui/gui/syntax-editor.ui
 
 EXTRA_DIST += \
 	src/ui/gui/OChangeLog \
@@ -85,9 +85,7 @@ uninstall-icons:
 UNINSTALL_DATA_HOOKS += uninstall-icons
 
 nodist_src_ui_gui_psppire_DATA = \
-	$(top_builddir)/src/ui/gui/output-viewer.ui \
-	$(top_builddir)/src/ui/gui/syntax-editor.ui
-
+	$(top_builddir)/src/ui/gui/output-viewer.ui
 
 dist_src_ui_gui_psppire_DATA = \
 	$(UI_FILES) \