X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Flanguage%2Fcontrol%2Fautomake.mk;h=e12813abdbb68eea3a2779f70f4e8a3df28b25f7;hb=47e6024280cbc95dbfa637009091cc8404c84fb0;hp=89ff7feeb69cafc9659e633ad3d4ea416b5c9181;hpb=92a8c8fc46b9e4619f92b05e4375a09cda6c9247;p=pspp

diff --git a/src/language/control/automake.mk b/src/language/control/automake.mk
index 89ff7feeb6..e12813abdb 100644
--- a/src/language/control/automake.mk
+++ b/src/language/control/automake.mk
@@ -10,3 +10,4 @@ language_control_sources = \
 	src/language/control/repeat.c \
 	src/language/control/repeat.h
 
+EXTRA_DIST += src/language/control/OChangeLog