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

diff --git a/src/ui/automake.mk b/src/ui/automake.mk
index 18b6914801..044c293c54 100644
--- a/src/ui/automake.mk
+++ b/src/ui/automake.mk
@@ -13,3 +13,5 @@ src_ui_libuicommon_a_SOURCES = \
 	src/ui/debugger.h \
 	src/ui/syntax-gen.c \
 	src/ui/syntax-gen.h
+
+EXTRA_DIST += src/ui/OChangeLog