X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fautomake.mk;h=044c293c5424509d760667979b7ad2fef357d5a0;hb=18e5609ea65b59f38fcd681f8555775f2e5b7ccd;hp=e1915b283f666bc45dfadb3edc19c3b68131f920;hpb=92c09e564002d356d20fc1e2e131027ef89f6748;p=pspp

diff --git a/src/ui/automake.mk b/src/ui/automake.mk
index e1915b283f..044c293c54 100644
--- a/src/ui/automake.mk
+++ b/src/ui/automake.mk
@@ -10,4 +10,8 @@ noinst_LIBRARIES += src/ui/libuicommon.a
 
 src_ui_libuicommon_a_SOURCES = \
 	src/ui/debugger.c \
-	src/ui/debugger.h
+	src/ui/debugger.h \
+	src/ui/syntax-gen.c \
+	src/ui/syntax-gen.h
+
+EXTRA_DIST += src/ui/OChangeLog