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

diff --git a/src/language/control/automake.mk b/src/language/control/automake.mk
index 89ff7feeb6..3e87e5a0b6 100644
--- a/src/language/control/automake.mk
+++ b/src/language/control/automake.mk
@@ -6,7 +6,7 @@ language_control_sources = \
 	src/language/control/control-stack.h \
 	src/language/control/do-if.c \
 	src/language/control/loop.c \
-	src/language/control/temporary.c \
 	src/language/control/repeat.c \
-	src/language/control/repeat.h
+	src/language/control/temporary.c
 
+EXTRA_DIST += src/language/control/OChangeLog