X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fcontrol%2Fautomake.mk;h=11c5fdc3d05a24b462bcef36adff693628608ec9;hb=1052ba3732a40c731c4fe0fc3caae12f4af75535;hp=3e87e5a0b63d51c8b90aa78dcecb482c7303f587;hpb=fe8dc2171009e90d2335f159d05f7e6660e24780;p=pspp

diff --git a/src/language/control/automake.mk b/src/language/control/automake.mk
index 3e87e5a0b6..11c5fdc3d0 100644
--- a/src/language/control/automake.mk
+++ b/src/language/control/automake.mk
@@ -8,5 +8,3 @@ language_control_sources = \
 	src/language/control/loop.c \
 	src/language/control/repeat.c \
 	src/language/control/temporary.c
-
-EXTRA_DIST += src/language/control/OChangeLog